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