theorem Th1008: :: NUMBER11:1008

Sum (digits (1196,10)) = 17