19.2(4)证明举例(4)