Tag kod liczb pierwszych

Poniższy wzór generuje bezbłędnie wszystkie liczby pierwsze, bez potrzeby jakiejkolwiek faktoryzacji: {(2), (3), (5), (6m+1), (6n-1) | m > 0, m mod 10 ≠ 4, m mod 10 ≠ 9, n > 0, n mod 10 ≠ 1, n mod 10 ≠ 6}…