Статья 426

При первом попадании в цикл будет присвоено значение 1.

Затем выполняется присваивание 2. После первого прохождения
Допустим, после попадания в цикл истинно. Необходимо показать, что после попадания в цикл. При попадании выполнится присваивание.

В следующей строке осуществится присваивание.

Так как это - присваивание, имеем. Ввиду получаем после выполнения цикла, что и требовалось.
Так как пункты истинны, тоже истинно.
Обратим внимание, что мы нигде в доказательстве не предполагали, что.

Поэтому строка программы действительно может быть удалена из нее без ущерба для дела.

Завершается ли данным замечанием доказательство утверждения. К сожалению, остается одно затруднение, связанное с вопросом о представимости целых чисел на компьютерах.

Необходимо

Необходимо

Мы помним, что программа обеспечивала правильный ответ при условии представимости исходных данных.