En efecto, pues si formula_64 y formula_177 fueran dos elementos mínimos de formula_1, por definición