theorem Th19: :: NUMBER15:19

for p being Prime holds
( not p is prime or p = 2 or p mod 4 = 1 or p mod 4 = 3 )