好的定理必然有美妙自然又简单的证明。