19.2(6)证明举例