theorem Th1000: :: NUMBER11:1000

Sum (digits (1104,10)) = 6