【因此，对于任何j≤p^1，w的最大幂次整除Dp^(j，j)最多是)
logp(j)∑t=0{[j/p^t]-[J/p^t+1]·P^t=j+logp(j).】
【进而考虑一组元组（j1，.，jn）∈N，使得j1++jn≤p/。使用(A.1)，我们看到在Dnp中对应于该元组的对角线元素最多可以被wp/((1)/p)整除。】
【很容易检查到p/((1)/p)≤p-1，这将保证Dnp的第(j1，.，jn)个对角线元素是非零的。这至少给出了p1+nn个非零的对角线元素，证明了所需的秩界限。】
【即·三维挂谷猜想有|Ut∈T|≈|t|·|T|。】
看着稿纸上落下的最后一个句号，徐川脸上扬起了一抹笑容。
搞定！
在经历了一个多世纪后，不三维挂谷猜想在他手中得到了一个完美的答案。
尽管这份证明目前还没有通过同行评审，但他有信心这就是高维挂谷猜想的最终结果！
书房对面，看着已经放下了手中笔的徐川，刘嘉欣终是忍不住开口问道。
内容未完，下一页继续阅读