A mathematical proof is a poem written in the language of logic.
真相并不总是美丽的,但寻找真相的过程是。