theorem Th1130: :: NUMBER11:1130

Sum (digits (1175,10)) = 14