![(\forall \alpha \in \Gamma) \text{ si } \alpha \in \Delta \text{, entonces } x\alpha \in \Delta (\forall \alpha \in \Gamma) \text{ si } \alpha \in \Delta \text{, entonces } x\alpha \in \Delta](https://eva.fing.edu.uy/filter/tex/pix.php/5740fbbe322f6dfc025745f2975366f2.png)
(o sea "Toda tira
![\alpha \alpha](https://eva.fing.edu.uy/filter/tex/pix.php/7b7f9dbfea05c83784f8b85149852f08.png)
![\Gamma \Gamma](https://eva.fing.edu.uy/filter/tex/pix.php/07710b5c43702a8bb7b9104eacc6ba71.png)
![\Delta \Delta](https://eva.fing.edu.uy/filter/tex/pix.php/967878d1da852d4b07a961e3168b0fff.png)
![x\alpha x\alpha](https://eva.fing.edu.uy/filter/tex/pix.php/2799ceb6050be7a61e11ad407e6dce92.png)
![\Delta \Delta](https://eva.fing.edu.uy/filter/tex/pix.php/967878d1da852d4b07a961e3168b0fff.png)
Eso no se puede probar directamente. Necesitamos probar algo más general, que es este lema:
![(\forall \alpha \in \Delta) x\alpha \in \Delta (\forall \alpha \in \Delta) x\alpha \in \Delta](https://eva.fing.edu.uy/filter/tex/pix.php/906e23b86cfe3de3c87df591524fb40a.png)
Si logramos probar eso, entonces lo que queríamos probar se tiene que cumplir: si me agarro cualquier tira de
![\Gamma \Gamma](https://eva.fing.edu.uy/filter/tex/pix.php/07710b5c43702a8bb7b9104eacc6ba71.png)
![\Delta \Delta](https://eva.fing.edu.uy/filter/tex/pix.php/967878d1da852d4b07a961e3168b0fff.png)
![x\alpha x\alpha](https://eva.fing.edu.uy/filter/tex/pix.php/2799ceb6050be7a61e11ad407e6dce92.png)
![\Delta \Delta](https://eva.fing.edu.uy/filter/tex/pix.php/967878d1da852d4b07a961e3168b0fff.png)
Este nuevo lema si lo sabemos probar, porque es un propiedad en
![\Delta \Delta](https://eva.fing.edu.uy/filter/tex/pix.php/967878d1da852d4b07a961e3168b0fff.png)
![P' P'](https://eva.fing.edu.uy/filter/tex/pix.php/4af9cb7140eff406f917e3b6d2ad8bb3.png)
Espero haber aclarado. Cualquier cosa volvé a preguntar.
Saludos