Why do you think the aa similarity postulate is introduced as a postulate and not a theorem?

I think AA similarity postulate was introduced as a postulate because it consigned a basic need for fulfilling the numbered theorems instead they could've better chose as a theorem, it was selected as a postulate with those needs only and not the theorem itself.

Hope helps