theorem Th875: :: NUMBER11:875

Sum (digits (1870,10)) = 16