Давайте ми спочатку будемо використовувати лише звичайні запуски, а потім лише посилені запуски.
Нехай ми використали c1 звичайних запусків першого кристалу, c2 другого, і так далі. Нехай ci>0, cj>0, i=j, ai<aj, тоді нам не