theorem Th36: :: IRRAT_1:36

for k, n being Nat st k <= n holds
(n !) / (k !) is integer