Перевірка за допомогою ОД9 додавання і віднімання

Отже, ми навчилися подавати число А у вигляді А = 9*а + b (число а залишається невідомим). Якщо додати подані так два числа A₁ і А₂, то отримаємо: A₁ + А₂ = (9a₁ + b₁) + (9а₂ + b₂) = 9(a₁ + а₂) + (b₁ + b₂) або
 
ОД9(A₁ + A₂) = ОД9(A₁) + ОД9(А₂)
 
Цю властивість можна використовувати для перевірки правильності додавання (ППД) і віднімання. Приклад:
Для ППД суми чисел знаходимо ОД9 суми всіх доданків і підсумку обчислень: