theorem Th517: :: NUMBER11:517

Sum (digits (1880,10)) = 17