Si formula_80 no está en formula_169, formula_80 es fijo por formula_64 luego formula_172.