donde formula_24 es la constante del lema de bombeo, es una palabra de formula_1.