证明举例3