17.2.3 排除法和代换法