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.
