theorem Th41: :: NEWTON:41

for j, l being Nat st j <= l & j <> 0 holds
j divides l !