二つの移動が交わるのは、移動量の差が A の二要素の差になる場合だけである。
t−ti=a−bt-t_i=a-bt−ti=a−b と a,b∈Aa,b\in Aa,b∈A が交わるなら、ti+b−at_i+b-ati+b−a が存在して undefined、すなわち undefined となる。したがって既に選んだ移動量が禁じる値は undefined の形だけである。