预习练习3-1不会,命题,定理,证明