[math-fun] Information about "Primes are P"?