1208

Prove the red angle is $60^\circ$ iff the red line segments are congruent.