1892

The green and blue triangles are equilateral. Prove the red triangle is equilateral also.