theorem Th1142: :: NUMBER11:1142

Sum (digits (1375,10)) = 16