1023

The blue triangles are equilateral. Prove the red triangle is equilateral.