【定理８a】

補足説明

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

【定理８a】であれば、、が成り立つ。

（証明）

• 定理５aに次々と定理７aを適用していけば、全てのロットについて、、が成り立つことが分かる。

（証明終わり）

議論の継続

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