9 – положительное число, 9 ˃ 0. Разница чисел – положительное число.
Отсюда следует, что А ˃ В.
А - В = 9 ⇒ А – В ˃ 0 ⇒ А ˃ В
