间接证明有_____________ 和选言证法。