theorem Th128: :: NUMBER11:128

Sum (digits (208,10)) = 10