证明消元法保持解集——逐次操作。