Условие:

a + 1 O a + 0
1 + b O b + (8988)

a + 1 > a + 0
 
1 + b = b + (8988)
1 + b = b + 1