김홍종에선 입델 회피하는 걸 보면 꼭 필요한 논의인 것 같진 않아


해석 배울 때 도입하는 게 자연스러운 것 같아 (루딘 4장 도입부처럼)


그 전으로 땡겨오면 유용한 거 있나 어차피 극한 성질 증명하게 안 시키던데