역전 명제와 부류증명의 적용 기법