Consideremos el conjunto formula_14.