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