\(a \leq b\) としても一般性を失わない.

\(a+W \leq b\) ならば \(b - (a+W)\) だけ動かす. そうでなければすでに連結であるので \(0\) である.