分，想了想，还是算了。

万一后面希尔伯特第十八问理解不清楚，需要积分的时候又不够不就g了吗。

现在这篇论文，花个一周时间就可以吃透，干嘛还浪费积分呢。

开普勒猜想的证明也是需要积分。

当初17年匹兹堡大学数学家也只是形式证明了而已，不是正式证明。

当初05年的老证明太长，又无法验证，所以这位数学家通过foaverificaion的方法，用计算机进行