Проверка умножения и деления с помощью ОД9

Необходимым условием правильности умножения (или деления) чисел является совпадение ОД9 их произведения с произведением их ОД9:
 
(R = А*С) => (OД9(R) = ОД9(А) * ОД9(С)) Пример:

Признаков неправильности в этом примере нет, но отметим, что какое бы число не умножали на 0 (или на 9), ОД9 полученного итога будет равно 0. Это говорит, что данная проверка не дает полной гарантии правильности. Подробнее о границах применимости данного способа см. ниже.