theorem :: NEWTON:89

for m, k, n being Nat st k <= n holds
m |^ k divides m |^ n