Si formula_155, entonces formula_1 es elemento mínimo de formula_157.