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

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

.