theorem Th165: :: NUMBER11:165
Sum (digits (266,10)) = 14