反证法就是举反例吗