【定理２】

補足説明

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

【定理２】

• Ｍ１におけるロットのサイクルタイムをとすると、と書ける。
• Ｍ２におけるロットのサイクルタイムをとすると、と書ける。

【定理２】：である。
（証明）

• 定理１と、の定義から
• よって 。

（証明終わり）

議論の継続

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