Ta có:

`a < b`

`=> -a > -b`

`=> -2a > -2b`

`=> -2a - 7 > -2b - 7` (điều phải chứng minh)