选择排除法

下次加上假设