命题VI 定理VI