theorem Th4: :: NUMBER05:4

for n being Nat st n in 4k+3_Primes holds
n >= 3