命题VI 定理IV