假设法和反证法有什么区别啊