implica que formula_57 estaría en formula_11.