完整结论应该是ξ³+η³+ζ³=0 在Z[ω]上没有非零解，这个好像是证明过程中的一步

好像可以推广一点，如果ξ³+η³+ζ³≡0(mod 9)，那要么ξ≡η≡ζ≡0(mod 1-ω)，要么ξ, η, ζ 组成模1-ω 的一组完全剩余系
可以用这个恒等式 ξ³+η³+ζ³-3ξηζ = (ξ+ η +ζ)(ξ+ ωη +ω²ζ)(ξ+ ω²η +ωζ)
以及1-ω是Z[ω]中的素元，(1-ω)² | 3，(1-ω)⁴ | 9 来证明