theorem Th807: :: NUMBER11:807

Sum (digits (1034,10)) = 8