Así, existe un formula_171 de forma que formula_172 es elemento mínimo de formula_173.