Entonces existe un entero formula_2 (al que llamaremos "longitud de bombeo" y que dependerá exclusivamente de formula_1) tal que cualquier cadena formula_4 perteneciente a formula_1, de longitud mayor o igual que formula_6, puede ser escrita como formula_7 (p.