theorem Th199: :: NUMBER11:199

Sum (digits (288,10)) = 18