Ahora bien, si "I" = "R" debería incluir a 1, con lo que habría un "J" ∈ "T" tal que 1 ∈ "J", y por lo tanto "J" = "R", contradiciendo la definición de "P", que no lo incluía.