命题III 定理III