Verifying subtraction statements