19.2证明举例(4)