for p being Prime
for m, d being Nat st p divides m & d divides m & not p divides d holds
d divides m div p