symmetry_proof.pdf