Squares are constructed on the sides of a parallelogram. Prove the red shape is a square. (Thébault’s problem I)