물결로 밑줄 친 내용이요

해석학이나 대수학에 나올 것 같은데 정리 이름만 알려주시면 검색해서 찾아볼게요