Además, por el lema anterior, formula_33 no es vacío.