p:3以上の素数に対し
p^2≡1 (mod8)
の証明のやり方を教えていただけないでしょうか？