间接证明和直接证明