まず、最初に述べたように、 速度の変更は定義 7.1 (p125) の範囲内で行う必要がある。 また、当然すべての物理 front の速度は 非物理 front の速度 より遅くなくてはならない。
必要ならば を少し小さくして、すべての に対して、
なお、[1] は条件 (101) を 課しているわけではないが、本稿では一応これを仮定する。
さらに、