cast out nines

verb1

1. •
   To apply a procedure for verifying whether an arithmetic operation is probably correct or certainly incorrect using modulo characteristics of the digit 9.