Proof_Square