Si formula_3 no es vacío, contiene un elemento minimal, es decir un número entero que es menor o igual que todos los otros elementos del conjunto.