19.2(4)证明举例