689

Prove the red angles are congruent if and only if the red line segments are congruent.