theorem Th1126: :: NUMBER11:1126

Sum (digits (1075,10)) = 13