http://www.alleng.ru/d/math/math277.htm
страница 12
Раздел метод от противного, как и предложил venja