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