5.3.2命题、定理、证明(1)修改版