命题IX 定理VII