実数x,yに対するx≡y (mod 2)って何なのかと。
x-y∈2Zの意味だとするとx≡y->1/x≡1/yはおかしいし。