1240

Prove the red line segments are congruent.