高木くんがアクセプトされるまで見守るスレ ★13

>>117
a≡nx^(n-1)であり、b≢0 (mod n)だからn≢0 (mod z')であり、x≢0 (mod z')だから
a≢0 (mod z')になる。当たり前のことなんですけれど、何か問題があるのでしょうか？