Ha sido probado que para todos los primos "p", "p" divide "P(p)".