一个集值映象不动点定理
일개집치영상불동점정리