theorem Th88: :: NUMBER11:88

Sum (digits (198,10)) = 18