【定理１１ｂ】

補足説明

以下は、「搬送時間ありＧ／Ｇ／ｍのサイクルタイム定理が求まらない」の説明の一部です。

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

（証明）

• 番目にモデルに到着したロットをロットと表すことにする。
  • （定理１０ｂとロットの番号付けの仕方が異なることに注意）
• ロットの待ち時間をで表す。また、ロットのＴＬをで表す。（である。ＴＬはロットによって異なることに注意）　するとと表すことが出来る。ＴＬの移動の前後で、、、の値は変わらないので、の値も変わらない。

（証明終わり）