theorem Th429: :: NUMBER11:429

Sum (digits (1000,10)) = 1