Статья 433

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

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

Ведь при наличии правильного общего плана проверки делимости у компьютера программа и у человека, например, знание алгоритма деления столбиком в отдельной арифметической операции ошибку скорее допустит человек, чем компьютер.