1707

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