Por el hecho anterior, "p" debe dividir al menos a un factor del segundo producto; pero los factores son todos primos, así que "p" debe ser igual a uno de los factores del segundo producto.