밑줄친 개념 일반화된 증명 유도를 어떻게하나요?