Reglamentada retefuente para independientes

Viene de Lema del bombeo:
Sea \mbox{L}\, un lenguaje libre de contexto. Entonces existe una constante n \in \mbox{N} tal que para toda palabra x \in \mbox{L}, con |x| \ge n\, , existe una descomposición x=yzuvw\, tal que:
- |z u v| \le n\,
- |z v|>0\,
- \forall i \ge 0, x=y z^i u v^i w \in \mbox{L}\,
(Indicando |x|\, la longitud de la palabra, y x^i\, la repetición de la palabra x\, i\, veces).
Este teorema implica que en todo lenguaje libre de contexto, para toda palabra suficientemente larga (|x| \ge n\, )....