theorem Th3: :: NUMBER05:3

for i being Integer
for n being Nat st n = (4 * i) + 3 holds
ex p, q being Nat st
( p = (4 * q) + 3 & p is prime & p divides n )