theorem Th1162: :: NUMBER11:1162

Sum (digits (1750,10)) = 13