(o sea "Toda tira
de 
, si está en 
, entonces 
está en ")Eso no se puede probar directamente. Necesitamos probar algo más general, que es este lema:
Si logramos probar eso, entonces lo que queríamos probar se tiene que cumplir: si me agarro cualquier tira de
que también esté en , aplico este lema y concluyo que está en .Este nuevo lema si lo sabemos probar, porque es un propiedad en
y podemos usar el PIP. Eso es lo que se hace en la solución con la propieadad 
.Espero haber aclarado. Cualquier cosa volvé a preguntar.
Saludos