Puesto que ambos sistemas sólo difierenen la formula_7-ésima ecuación, basta ver que formula_11, formula_12 formula_13verifica la formula_7-ésima ecuación del segundo sistema.