The green and blue triangles are equilateral. Prove the red line segments are congruent and the red angle is $120^\circ$.