【定理１１ａ】
補足説明
以下は、「搬送時間ありＧ／Ｇ／１のサイクルタイム定理」で述べた定理の証明の一部です。証明は、「【定理１０ａ】」から始まっています。
【定理１１ａ】：各ロットのガントチャートにおいて、ＴＬの部分を（長さを保存したまま）先頭に移動させても、各ロットの待ち時間は変わらない。ここでいう待ち時間とは、ストッカでの待ち時間とロードポートでの待ち時間の合計のことをいう。
（証明）
- ロット
の待ち時間を
で表す。また、ロット
で表す。（
である。ＴＬはロットによって異なることに注意） すると
と表すことが出来る。ＴＬの移動の前後で、
、
、
（証明終わり）
議論の継続
この【定理１１ａ】は「搬送時間ありＧ／Ｇ／１のサイクルタイム定理（再掲）」で使用されます。
