>>355
x>yとして
x=pd+q
y=rd+s
(p,rは整数、0≦q,s<d)とでもおけばいいよ。
|x - y|≧kd ⇒|x' - y'|≧kd
はね。逆は成り立たない。