命题、定理、证明(2)