A mathematical proof is a poem written in the language of logic.