theorem MDF: :: NEWTON07:5

for n, k being Nat holds n ! divides (n + k) !