Operación residual sobre dos enteros positivos