命题定理证明(教案)