证明三 练习题