3.2.2 消元法的形式化描述