theorem Th871: :: NUMBER11:871

Sum (digits (1826,10)) = 17