補足説明 これは、「【定理１０】」から始まる一連の証明の一部です。文字記号の意味については「【定理１０】」から順にエントリーを参照して下さい。 【定理１２】 各ロットのガントチャートにおいて、ＴＬの部分を先頭に移動させ、ロットについて、そのＴ…

補足説明 これは、「【定理１０】」から始まる一連の証明の一部です。文字記号の意味については「【定理１０】」から順にエントリーを参照して下さい。 【定理１１】：各ロットのガントチャートにおいて、ＴＬの部分を（長さを保存したまま）先頭に移動させ…