Consideremos ahora el conjunto formula_6.