theorem Th11: :: NUMBER15:11

for n being Nat
for p being Prime st p mod 4 = 3 holds
( (p |^ (2 * n)) mod 4 = 1 & (p |^ ((2 * n) + 1)) mod 4 = 3 )