direct proof

proof by contrapositive

proof by contradiction

proof by exhaustion

proof by induction


이런 몇 가지 알려진 방법으로 접근하는 거였구나