(2)번 풀이 보면 아래 표시한 'lemma'가 필요할 것 같은데...

어떻게 정당화해야 함?

참고로 'lemma' 증명은 (1)에서 안 나와 있음



7fed8273b58369f051ee80e645857c73bbbc9bd1795bd8230c5e285e8db05f38



7fed8273b58369f051ee80e6458473730830cfe41a1ef09396fa7343ec385ac1
7fed8273b58369f051ee80e6428177731f71840f128ec731590d7431705e2f