【定理１１】

補足説明

これは、「【定理１０】」から始まる一連の証明の一部です。文字記号の意味については「【定理１０】」から順にエントリーを参照して下さい。

【定理１１】：各ロットのガントチャートにおいて、ＴＬの部分を（長さを保存したまま）先頭に移動させても、各ロットの待ち時間は変わらない。ここでいう待ち時間とは、ストッカでの待ち時間とロードポートでの待ち時間の合計のことをいう。

（証明）

• ロットの待ち時間をで表す。また、ロットのＴＬをで表す。（である。ＴＬはロットによって異なることに注意）　するとと表すことが出来る。
• ＴＬの移動の前後で、、、の値は変わらないので、の値も変わらない。

（証明終わり）

議論の継続

この【定理１１】は「搬送時間ありＧ／Ｄ／１のサイクルタイム定理」で使用されます。