theorem Th179: :: NUMBER11:179

Sum (digits (16,10)) = 7