(二)间接证明的模式