命题VII 定理VII