>>321
OK です。なかなかやりますね。
いわゆるChinise Remainder Theorem（孫子の定理）を使えばすぐ出ますね。

強いて言えば、x(x-1)≡0 (mod N1) ⇔ x≡0 (mod N1) ∨ x-1≡0 (mod N1)
ってとこ（要するにZ/p^nZの冪等元が0と1だけであること）が、それほど自明
じゃないから、一言書いたほうがいいかも。