theorem Th38: :: PEPIN:38

for d, k, p being Nat st p is prime & d > 1 & d divides p |^ k & not d divides (p |^ k) div p holds
d = p |^ k