Статья 395

Остается рассмотреть цикл. Пусть и цикл завершен. Снова используем эквивалентность делится на раз. Так как процесс вычитания в цикле привел к отрицательному, нужного не существует. Отсюда не делится.
Остается третья и последняя возможность в ходе выполнения цикла. Но в этом случае мы и не требуем, чтобы был дан ответ на вопрос о делимости. Мы рассчитываем его получить после выполнения программы, а не в ходе выполнения. Но только что было доказано, что, если цикл завершится, на не делится. Стоп, стоп. Если завершится. Тогда, конечно, все будет правильно. А если программа не завершится нормально из-за авоста. Но вспомним, что переход от сложения к вычитанию и был предпринят для предотвращения авоста. Авост предыдущими рассуждениями исключается. Однако отсюда еще не следует, что цикл завершится. Вдруг, при вычисления вновь и вновь будет повторяться в цикле без конца.
Посмотрим на цикл блок-схемы внимательнее.