2007-07-23 【定理8】 ファブ内物流の論理を求めて 補足説明 以下は、「搬送時間ありG/D/1のサイクルタイム定理。CET=TU+TL、TUとTLは一定 の場合」で述べた定理の証明の一部です。証明は、「【前提】」から始まっています。 【定理8】であれば、、が成り立つ。 (証明) 定理5に次々と定理7を適用していけば、全てのロットについて、、が成り立つことが分かる。 (証明終わり) 議論の継続 この【定理8】は【定理9】で使用されます。