theorem Th35: :: NEWTON:35

for l being Nat st l <> 0 holds
l divides l !