命题XII 定理IX