La suma de estos restos debe coincidir con el resto de dividir por 9 el resultado que se desea comprobar: