theorem Th1158: :: NUMBER11:1158

Sum (digits (1675,10)) = 19