Equilateral triangles are constructed on the sides of a square. The red points are midpoints. Prove the green shape is a regular dodecagon.