theorem FPD: :: NEWTON07:7

for n, k being Nat holds (n !) |^ k divides (n * k) !