间接证明有（）和选言证法。