theorem Th1170: :: NUMBER11:1170

Sum (digits (1875,10)) = 21