5.3.2-命题定理证明