5.3.2命题定理证明