Se hará uso del lema siguiente: si n > 2, entonces existe un primo p tal que n  1, por el teorema fundamental de la aritmética existe un divisor primo p tal que p ≤ z.