Si no probas la propiedad para cada regla del conjunto, no caes en las hipótesis del PIP, por lo que no se puede aplicar y por ende la propiedad no es probada para todo elemento del conjunto.
Si no probas la propiedad para cada regla del conjunto, no caes en las hipótesis del PIP, por lo que no se puede aplicar y por ende la propiedad no es probada para todo elemento del conjunto.