theorem Th819: :: NUMBER11:819

Sum (digits (1188,10)) = 18