theorem Th417: :: NUMBER11:417

Sum (digits (880,10)) = 16