theorem Th254: :: NUMBER11:254

Sum (digits (374,10)) = 14