反证法“当你排除了不可能的情况后，其他的情况，尽管多么不可能，却一定是可能的”这描述的是哪种证明方法