trahendo com o resto. Para tirar, pois, a prova da subtracção, tiram-se os noves ao subtrahendo e ao resto, e em separado ao minuendo. Os dous restos devem ser iguaes.

Prova da multiplicação

81. Tiram-se os noves ao multiplicando e ao multiplicador ; multiplicam-se os dous restos, e tiram-se os noves ao resultado ; tirando depois os noves do producto, os restos devem ser iguaes.

Demonstração.—Seja A o multiplicando e B o multiplicador, AB será o producto.

O multiplicando podendo ser decomposto em duas partes, uma d'ellas um múltiplo de 9, e a outra o resto da divisão do multiplicando por 9, teremos

A=9Q+R;

raciocinando do mesmo modo em relação ao multiplicador, resulta

B=9Q'+R'

Multiplicando as duas igualdades ordenadamente, temos

AB=92QQ'+9Q'R+9QR'+RR'

ou ainda

AB=9(9QQ'+Q'R+QR')+RR'

Logo o resto da divisão do producto AB por 9 é igual ao resto da divisão por 9 do producto RR' dos restos que se obtêm tirando os 9 do multiplicando e multiplicador.

Prova da divisão

82. Se a divisão fôr exacta, tiram-se os noves ao divisor e ao quociente ; multiplicam-se os dous restos e tiram-se os noves do resultado, e o resto deve ser igual ao resto que se obtém tirando os noves do dividendo, porque o dividendo é igual ao divisor multiplicado pelo quociente.

Se a divisão não fôr exacta, o dividendo é igual ao divisor multiplicado pela parte inteira do quociente, mais o resto da divisão.