[antonb2011]

Hey, we should be thankful that primes have cardinality aleph_0, so we can have reasonable algos for exhaustive search at all! ;)