Статья 377

Запишем эти условия в символической форме.

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

Сумев это доказать, мы тем самым докажем правильность программы.

Сама программа пока отсутствует. Известен лишь оператор, который должен выполняться последним. Неизвестен, в частности, конкретный вид утверждения.