theorem Th187: :: NUMBER11:187

Sum (digits (128,10)) = 11