p:素数
p^m の約数d = p^k (k=0,1,…,m)
x^(p^m) - 1 = Π[d|(p^m)] Φ_d(x)
 = Π[k=0,m] Φ_(p^k)(x)
 = Φ_1(x)Π[k=1,m] Φ_p(x^k)
 = (x-1)Π[k=1,m] Φ_p(x^k),
Φ_1(x) = x - 1,
Φ_p(x) = x^(p-1) + x^(p-2) + …… + x^2 + x + 1,
ちょうなんもん