定理的核心逻辑，是用反证法：假设存在一个奇数 m（不被3整除），并且在4m这个规模下，没有任何一对和为4m的数字的刘维尔值都是 -1。它发现，如果你假设 4m没有这样的拆分，那么通过乘法与加法的交错逼近，…...
