间接证明有( )和选言证法。