theorem Th992: :: NUMBER11:992
Sum (digits (989,10)) = 26