Косвенное доказательство: метод от противного

Пример: Доказать, что если а+3>10, то а≠7

Предположим, что заключение данного утверждения ложно, тогда истинным будет его отрицание, т.е. предложение а=7. Подставим это значение в неравенство и получим 7+3>10т.е. 10>10 это ложь, значит а≠7