The green shapes are rectangles. The red lines are the perpendicular bisectors of the blue line segments. Prove the red lines are concurrent.