7fed8272b58169f151ef85e743807c6e5dc99c0910a6677dade24b79b43d84246ef6

첫번째 증명 가지고 몇 시간동안 머리 싸매고 있었는데
알고보니ㅣ까 개 간단한 귀류법 증명으로 풀리는 거였음..