Vivanco, M. The Arbitrariness of Symmetry in Mathematical Proofs. RHV 2024, 129-148.