theorem :: NUMBER10:13

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