theorem Th39: :: NUMBER11:39

Sum (digits (120,10)) = 3