>>93

p は奇数だから、p-1, p+1 は両方とも偶数。

よって、 (p-1) *(ｐ+1) は4で割り切れる。

∴p^2 ≡ 1(mod 4).

p^2 ≡ 1(mod 3) はフェルマーの小定理より成り立つ。

以上より、p^2 ≡ 1(mod 12)