theorem Th843: :: NUMBER11:843

Sum (digits (1474,10)) = 16