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