A Proof of Euler's Theorem via Quandles - António Lages; Pedro Lopes (2021)