for p, q being Prime
for n, m being Nat st p divides m * (q |^ n) & p <> q holds
p divides m