theorem Th817: :: NUMBER11:817

Sum (digits (1166,10)) = 14