안녕하세요. 질문에 대한 관련 답변입니다. 명제마다 다릅니다. 식이 복잡하다기 보다 직접 증명하기 어려울때 귀류법 또는 대우를 이용하여 증명합니다. 명제마다 대우가 편할수도 있고 귀류법이 편할수도 있습니다.