theorem Th10: :: NUMBER15:10

for k, n being Nat
for p being Prime st p is prime & p mod 4 = 1 & n divides p |^ k holds
n mod 4 = 1