theorem :: NUMBER10:14

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