theorem :: NUMBER18:63

for m being Nat holds rng (Mersenne_sequence | (Seg (((m !) + 2),((m !) + m)))) misses SetPrimes