命题定理证明 (2)