>>236
>w≡0 (mod p^2+1)より
>g≡h (mod p^2+1)
1行目から2行目は推論できない
できると主張するなら理由を示すべき