그 말이 그 말 같고 예제도 직관적으로 당연해 보이는데 증명하려면 막힌다.

원래 이런가?

하아...