Изменения

ОчевидноИз доказанной ранее леммы следует, так как что <tex> f_maxf_{max}(\{ 1 \ldots n \}) = \max\limits_{j} f_maxf_{max}(B_j) </tex>, то поэтому расписание для всего множества работ, поделенного на блоки, также будет оптимальным и корректным.