命题VIII 定理VI