theorem Th38: :: NEWTON:38

for l being Nat holds l ! >= l