19.2(5)证明举例