Статья 391

Таким образом, места слева действительно оказалось достаточно.
Посмотрим, каким будет эквивалент утверждения в терминах вычитания. Как мы видели, истинно тогда и только тогда, когда истинно несколько раз. Но эквивалентно утверждению. Эквивалентность обладает свойством транзитивности, следует. Что и требовалось. Что произойдет, если искомого не существует. Было показано, что в таком случае процесс вычитания выйдет в область отрицательных значений, причем авоста из-за нехватки чисел не будет.
Блок-схема искомой программы, построенная с учетом всех изложенных выше обстоятельств. Отметим, что в блок-схеме фигурирует новая переменная 2, необходимость в которой продиктована требованием напечатать в конце выполнения программы значения к у либо в варианте делится, либо в варианте не делится.

Посмотрим

Посмотрим


Следовательно, и меняться не должны.