명제 A가 참임을 보이기위해
꼬리에꼬리를 물고 하다가

최종적으로 명제B가 참임을 보이면
명제A가 참임이 증명되는상황이 왔고

명제 B 가 참임을 증명하기위해 개고생하다가
명제 C가 참이면 명제B도 참이다 라는 걸 도출하고

명제 C가 참임을 증명하려 애쓰고 오 드디어
다 돼간다 했더니 마지막에서 자꾸안되는거임
그래서 다시다시 해봣더니

명제 C는 거짓이라는걸 증명해버림

- dc official App