cast out nines in Catalan

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