间接证明1