訂正

>>39
>m ≡ 1 (mod 8) でないなら、つまり m ≡ 5 (mod 8) なら(>>38)

m ≡ 1 (mod 4) かつ m ≡ 1 (mod 8) でないなら、
つまり m ≡ 5 (mod 8) なら(>>38)