теорема выглядит так
заменю данное уравнение эквивалентным тождеством
Пусть Y>X. Теперь вычтем из правой и из левой части эту максимальную сумму. Получем:
Далее
Пусть Y+1=Y1 для простоты, тогда
Отсюда получается такая суть теоремы:
Есть некий числовой ряд, в котором посчитана сумма от первых X элементов. Нужно доказать, что не существует таких сумм

этой последовательности правее числа X, равных этой сумме

.