Definition:Integer Subtraction