数学中的一些美丽定理具有这样的特性:它们极易从事实中归纳出来，但证明却隐藏的极深。