>>227
その本の文脈を書いてくれないとよくわからんが、普通に考えれば
x≡2(mod 4)⇒x^2≡0(mod 4)
という命題をその式で表してるだけじゃないかと思うけど。