증명 방법의 다양성: 예시 방법, 역증법, 그리고 구성 방법