Construct square proof.pdf