Luego formula_178 debe ser una combinación lineal de formula_94 y formula_176 Es decir que habrá enteros formula_183 tales que