22命题与证明(2)