没有执行的愿景只是一个梦想。
A mathematical proof is a poem written in the language of logic.