Luego, formula_155 es fijo por formula_156, ssi, formula_157, ssi, formula_158.