theorem Th70: :: NUMBER11:70

Sum (digits (88,10)) = 16