命题VIII 定理VIII