一回質問して取り下げた奴なんですけど

実数x,y≧０
実数d＞0
正の整数k

|x - y|≧kd
|x' - y'|≧kd, x'= [x/d]*d, y'= [y/d]*d　（[]はフロアリング）

これで上の式と下の式のkdが同じだっていうのは
どういう理屈なんでしょうか？