theorem Th1194: :: NUMBER11:1194

Sum (digits (2275,10)) = 16