theorem Th988: :: NUMBER11:988

Sum (digits (943,10)) = 16