【定理6】
補足説明
以下は、「搬送時間ありG/D/1のサイクルタイム定理。CET=TU+TL、TUとTLは一定 の場合」で述べた定理の証明の一部です。証明は、「【前提】」から始まっています。
【定理6】M1における、ある「かたまり」の各ロットについて、であれば、M1のその「かたまり」の最終ロットは、M2においても「かたまり」の最終ロットである。
(証明)
- 定理1から、。一方、仮定から、なので、。また、ロットはM1において最終ロットであるので、。これらの式から、。よって。よってロットはM2においても「かたまり」の最終ロットである。
(証明終わり)
議論の継続
この【定理6】は【定理7】で使用されます。