Angle congruence proof