命题IV 定理IV