theorem :: NUMBER10:15

for n being non zero Nat holds 7 in (<=6n+1 n) /\ SetPrimes