Trường hợp 1 : y là số nguyên âm
Coi y có dạng là : - a ( - a ∈ Z )
⇒ x - y = x + y > x ( Do trừ đi số nguyên âm là cộng với số đối của nó )
Trường hợp 2 : y là số nguyên dương
⇒ x - y < x
Vậy , nếu y là số nguyên âm thì x - y > x còn nếu y là số nguyên dương thì x - y < x