theorem Th290: :: NUMBER11:290

Sum (digits (114,10)) = 6