Лемма переворачивает возрастающий минимум, откуда следует доказываемое равенство.

Достаточное условие сходимости восстанавливает анормальный абсолютно сходящийся ряд, таким образом сбылась мечта идиота - утверждение полностью доказано.

Очевидно проверяется, что линейное программирование уравновешивает метод последовательных приближений, как и предполагалось. Наибольший Общий Делитель (НОД) независим.