в чём состоит метод доказательства "от противного"

Высказывается какое-либо суждение(первоначальное), строится  противоположное ему.
И в ходе доказательства выходит, что противоположное суждение никаким образом не может быть верно, а следовательно первоначальное суждение будет верным.