>>507 の続き。

----------------------------------------------
D' ≡ 3 (mod 8) のとき
km ≡ u^2 - 3t^2 (mod 8)

u^2 = 0, 1, 4, 1, 0, 1, 4, 1
3t^2 ≡ 0. 3, 4, 3, 0, 3, 4, 3 だから

km ≡ 1, 5 (mod 8) となる。
----------------------------------------------
D' ≡ 4 (mod 8) のとき
km ≡ u^2 - 4t^2 (mod 8)

u^2 = 0, 1, 4, 1, 0, 1, 4, 1
4t^2 ≡ 0. 4, 0, 4, 0, 4, 0, 4 だから

km ≡ 1, 5 (mod 8) となる。
----------------------------------------------
D' ≡ 5 (mod 8) のとき
km ≡ u^2 - 5t^2 (mod 8)

u^2 = 0, 1, 4, 1, 0, 1, 4, 1
5t^2 ≡ 0. 5, 4, 5, 0, 5, 4, 5 だから

km ≡ 1, 3, 5, 7 (mod 8) となる。