This question was asked in Theorem 9.1
What is asa congruent axiom? 
Mana Valanv's image