A mathematical proof isn't just an intellectual exercise