【定理７】
補足説明
以下は、「搬送時間ありＧ／Ｄ／１のサイクルタイム定理。ＣＥＴ＝ＴＵ＋ＴＬ、ＴＵとＴＬは一定 の場合」で述べた定理の証明の一部です。証明は、「【前提】」から始まっています。
【定理７】Ｍ１における、ある「かたまり」の各ロットについて、
であり、さらに、
であれば、Ｍ１における、当該「かたまり」の次の「かたまり」の各ロットについても、が成り立つ。
（証明）
- 定理６により、Ｍ１における当該「かたまり」の最終ロット、ロット
は、Ｍ２においても「かたまり」の最終ロットである。よって、その次のロット、ロット
は、Ｍ２においても次の「かたまり」の先頭ロットである。
- ロット
。一方、Ｍ１においてはロット
。よって、
- 定理４より、Ｍ１でロット
とすると、
であるようなロット
について以下のことが言える。
- よって、
。
- よって、
。
- 一方、Ｍ１におけるロット
。よって、
。
（証明終わり）
議論の継続
この【定理７】は【定理８】で使用されます。
