theorem Th1222: :: NUMBER11:1222
Sum (digits (2750,10)) = 14