theorem Th6: :: NUMBER08:6

for m, n being Nat st m <= n holds
m ! divides n !