【定理５】

補足説明

以下は、「搬送時間ありＧ／Ｄ／１のサイクルタイム定理。ＣＥＴ＝ＴＵ＋ＴＬ、ＴＵとＴＬは一定　の場合」で述べた定理の証明の一部です。証明は、「【前提】」から始まっています。

【定理５】であれば、Ｍ１における最初の「かたまり」、つまり先頭ロットがロット１であるような「かたまり」、に属するロットについては、である。また、である。

（証明）

• なので定理４より、Ｍ１で「かたまり」の先頭ロットでないロットは、Ｍ２でも「かたまり」の先頭ロットではない。よって、Ｍ１における最初の「かたまり」の最後のロットをロットとすると、であるようなロットについて
  • 
• が言える。
• よって、。
• 一方ロット１については、Ｍ２でも、キューでの待ちやロードポートでの待ちはないから、。
• よって、。
• 一方、Ｍ１のこの最初の「かたまり」において、。よって、。また、明らかに。

（証明終わり）

議論の継続

この【定理５】は【定理８】で使用されます。