A mathematical proof is a poem written in the language of logic.
过去总是紧张的,未来是完美的。