이거 예시들지 말고 일반적인 증명은 어떻게 함? Fn에 대해서 하나의 unbound set을 일종의 예시로 들어서 풀긴 풀었는데 일반화를 시키고 싶은데