A mathematical proof isn't just an intellectual exercise

18/07/2019