증명 기법의 분류: 구성적 방법, 역정법 등