수하 집합과 명제 볼때 드디어 벗어나는구나 함