Предположим, что a - b больше 0, но при этом a не больше b. Это означает, что a меньше b или a равно b.

Если a меньше b, то a - b будет отрицательным числом, что противоречит условию, что a - b больше 0. Если a равно b, то a - b будет равно 0, что также противоречит условию.

Следовательно, наше предположение было неверным, и если a - b больше 0, то a больше b.