>>510 の続き。

>>511 より

ψ_1(１) = 1
ψ_1(3) = -1
ψ_1(5) = 1
ψ_1(7) = -1

ψ_2(１) = 1
ψ_2(3) = -1
ψ_2(5) = -1
ψ_2(7) = 1

よって

1) km ≡ 1 (mod 8) ⇔ ψ_1(km) = ψ_2(km)
2) km ≡ 1, 7 (mod 8) ⇔ ψ_2(km) = 1
3) km ≡ 1, 5 (mod 8) ⇔ ψ_1(km) = 1
4) km ≡ 1, 3 (mod 8) ⇔ ψ_1(km)ψ_2(km) = 1