第2章 2.2.2 间接证明