A elegantly executed proof is a poem in all but the form in which it is written.