Объясните суть доказательства от противного

Если теорема не имеет прямого доказательства, то её доказывают методом от противного. Т.е. предполагают то, чего бы не было. И если что-то противоречит условию, то предположение является неверным, а значит, теорема доказана.