Para comprobar una operación de resta, es necesario sumar la diferencia obtenida al sustraendo, a fin de corroborar que el resultado obtenido sea igual al minuendo.
Ejemplo
25 - 6 = 19
Para comprobar la resta previa, se debe sumar la diferencia, que en este caso es de 19, con el sustraendo, que tiene un valor de 6. De este modo, se obtiene el resultado de 25, que coincide con el valor del minuendo.
19 + 6 = 25
Este proceso de verificación se aplica de igual manera tanto a restas con decimales como a aquellas que contienen números naturales.