theorem Th1006: :: NUMBER11:1006

Sum (digits (1173,10)) = 12