pを素数とする。次を満たす素数qが存在することを示せ。
「すべての自然数nに対して、(n^p)-pはqで割り切れない」