nを自然数、uをnの素因子の数とする
ζ=exp(2πi/n)とおく
このとき全単射σ{1..n}→{1..n}で任意の0≦v<uを満たすvに対してΣ[k=1,n]k^uζ^(σ(k))=0となるものが存在する事を示せ