The Finsler–Hadwiger theorem states that the green quadrilateral below—formed from two square centers and two cross-segment midpoints—is always a square.
Drag the blue and red handles to change the original squares.
Drag ● B and ● B′. Drag A to move the whole figure.