A mathematical proof is a poem written in the language of logic.
翻译:以天为本的事物亲于上,以地为本的事物亲于下。