这个一眼就能看出来，因为它等价于“任何自然数都可以表示成若干个奇数的加减运算结果”，当然为真。

原因就是平方数列n^2的邻项之差就是连续奇数嘛。
--
修改:xenapior FROM 112.32.26.*
FROM 112.32.26.*