命题XI 定理VIII