为什么数学家总喜欢证明一些看起来显然成立的事实？