When determining triangles are congruent, why is ASA a postulate while AAS is a theorem?

A postulate is "a proposition that requires no proof," and a theorem is "a proposition that can be deduced from the premises or umptions of a system," so I guess it's context related.