theorem Th17: :: NUMBER15:17

for p being Prime
for n being Nat st p mod 4 = 1 holds
( card (divisors ((p |^ n),4,1)) = n + 1 & card (divisors ((p |^ n),4,3)) = 0 )