theorem LM204K: :: GROUP_18:18

for p being Prime
for j, m, k being Nat st m = p |^ k & not p divides j holds
j gcd m = 1