formula_13 para todo x en formula_4, entonces existe un número natural "r" tal que "p" está en "I".