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