n≡±1or±3 (mod8)

・n≡±1 (mod8)
ｎ＾2−1≡1-1≡0　(mod8)

・n≡±3 (mod8)
ｎ＾2-1≡9−1≡1-1≡0

よって示された