theorem Th35: :: NUMBER11:35

Sum (digits (100,10)) = 1