解不等式能不能用减法的基本性质