Consideremos el conjunto formula_56.