>>25
nが素数pの冪乗のとき(1 - ζ_1)・・・(1 - ζ_m)=p
そうでないとき(1 - ζ_1)・・・(1 - ζ_m)=1となる。

解答
nの円分多項式をΦn(x)とするとΦn(x)=(x - ζ_1)・・・(x - ζ_m)
n=p^kのときはΦn(1)=p
x^(n-1)+x^(n-2)+…+1=Π[k＞1,k|n]Φk(x)より帰納的に言える。