The blue points are the centers of the blue squares. Prove the red shape is a square. (Finsler–Hadwiger theorem)