Es verdad, que como cumple para esos elementos entonces cumple para todo elemento del conjunto.
Con lo del final del PIP me refería a la primera versión, con "Tendría que haber puesto primero el lema, PIP del lema, la parte de FORM, PIP en FORM pero me quedo en ese orden" me refería a que quería escribirlo de la forma (demostración LEMA - clausura del PIP (TERM)) (demostración FORM - clausura del PIP (FORM)) pero tenía que borrar mucha cosa para que me quedara ordenado.
Ta entonces es mejor que el lema quede después así si lo preciso en la primera inducción ahí me doy cuenta.
Genial, gracias por tomarte el tiempo de leerlo y perdón por el tema de la prolijidad al escribir.
Saludos