【定理９】

補足説明

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

【定理９】であれば、である。

（証明）

• 定理８より
  • 

（証明終わり）

証明の終わり

定理９から「搬送時間ありＧ／Ｄ／１のサイクルタイム定理。ＣＥＴ＝ＴＵ＋ＴＬ、ＴＵとＴＬは一定　の場合」における

• 　　ならば　　

が証明されました。
ではの場合はどうなるか、と言えば、定理２より

• 

が言えるのみです。