Como formula_174, entonces es formula_67, luego formula_176, y es formula_172 elemento mínimo de formula_178.