==> arithmetic/arithmetic.progression.p <==
Is there an arithmetic progression of 20 or more primes?