Предположим, что 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.
Предположим, что 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.