증명 10줄 넘어가면 읽는 게 불가능함

5줄도 길다

proposition으로 쪼개줘 벅벅