If an integer y is subtracted from an integer x, and the result is grater than x, then y must be.