The green points are the centers of the squares. Prove the red line segments are congruent and perpendicular.