• |ux| contiene solamente símbolos b. Se llega a una contradicción por un procedimiento similar al anterior.
• |ux| contiene solamente símbolos c. Se llega a una contradicción por un procedimiento similar.
• |ux| contiene símbolos a y b. En este caso vwy tendrá mas símbolos c que a o b, con lo que se llegaria de nuevo a una contradicción.
• |ux| contiene símbolos b y c. En este caso, vwy tendrá mas símbolos a que b o c, con lo que se llegaria también a una contradicción.

En todo caso se llega a una contradicción y el Lema de Bombeo no puede cumplirse, con lo que L no puede ser libre de contexto.