HM.LMIR.6.3: Prove that the summit angles of an isosceles birectangle are congruent, but that it is impossible to prove they are right without referring to the parallel postulate or one of its consequences.