theorem Th1016: :: NUMBER11:1016

Sum (digits (1288,10)) = 19