7cea807eb38568f23ee882e54f9f2e2de25cc3825b60a010bce5591c9a

lemma 6.1에서 처음에 induction으로 증명하는 부분이 왜 필요한지
모르겠습니다. 그 아래 문단에서 이 부분이 x의 존재성을 보장한다는

데..  이해가 잘 가지 않아 질문 올립니다.


lemma 자체를 induction으로 증명하는 법 찾았으나 책에서는 왜 저렇게 하는지 모르겠네요.. 도움 부탁드려요.