Докажем методом от противного.
Предположим, что существуют a,b, такие что a<b и -b ≥ -a. Тогда
a-b < 0 и a - b ≥ 0
0 ≤ a - b < 0
а ≠ b, получили противоречие, следовательно, -a < -b верно когда a > b