Il criterio
di divisibilità di un numero per 9 si applica per verificare
l'esattezza del risultato ottenuto dopo aver eseguito una delle quattro
operazioni fondamentali.
Prova dell'addizione: Si calcolano i resti per
9 degli addendi. La somma di tali resti ed il totale divisi per 9
devono dare resti uguali se l'operazione è stata ben eseguita.
Prova della sottrazione:
Si calcola il resto della divisione per 9 del minuendo e del
sottraendo. Dal primo resto, aumementato eventualmente di 9, si toglie
il secondo; se questa differenza ed il risultato della sottrazione
divisi per 9 danno resti resti uguali l'operazione è stata ben eseguita.