QED Triangle Congruency Proof