Puesto que formula_171 es totalmente ordenado,