theorem Th244: :: NUMBER11:244

Sum (digits (289,10)) = 19