theorem Th1168: :: NUMBER11:1168

Sum (digits (1850,10)) = 14