theorem Th855: :: NUMBER11:855

Sum (digits (1628,10)) = 17