theorem Th33: :: NEWTON:33

for k, l being Nat st l >= 1 holds
k * l >= k