Proof is an idol before whom the pure mathematician tortures himself. 证明是一个偶像,纯数学家在它面前折磨自己。 -- Arthur Eddington 爱丁顿