k、nを自然数、a_1,a_2,・・・,a_{φ(n)}をnの既約剰余系とする。

問題　１
nを任意の素因数pがp-1|kとはならないような奇数とする。
(a_1)^k+(a_2)^k+…+(a_{φ(n)})^k≡0　(mod　n )

問題　２
kを奇数、nを任意の素因数pがp-1|k-1とはならないような奇数とする。
(a_1)^k+(a_2)^k+…+(a_{φ(n)})^k≡0　(mod　n^2 )

問題　３
nを任意の素因数pがp-1|kとはならないような奇数とする。
{1/(a_1)^k+1/(a_2)^k+…+(a_{φ(n)})^kの分子部分}≡0　(mod　n )

問題　４
kを奇数、nを任意の素因数pがp-1|k+1とはならないような奇数とする。
{1/(a_1)^k+1/(a_2)^k+…+(a_{φ(n)})^kの分子部分}≡0　(mod　n^2 )