theorem Th1073: :: NUMBER11:1073

Sum (digits (888,10)) = 24