méthode de contrôle du résultat d'une somme, d'une différence, d'un produit ou d'un quotient, obtenu à l'aide des techniques respectives de l'addition, de la soustraction, de la multiplication, de la division ; en langue courante, la preuve absolue si l'on raisonne bien.