Необхідною умовою правильності множення (або ділення) чисел є збіг ОД9 їхнього добутку з добутком їхніх ОД9:
(R = А*С) => (OД9(R) = ОД9(А) * ОД9(С)) Приклад:
(R = А*С) => (OД9(R) = ОД9(А) * ОД9(С)) Приклад:
Зображення
Ознак неправильності в цьому прикладі немає, але зазначимо, що яке б число не множили на 0 (або на 9), ОД9 отриманого підсумку дорівнюватиме 0. Це свідчить, що ця перевірка не дає повної гарантії правильності. Докладніше про межі застосовності цього способу див. нижче.