19.2-7证明举例