theorem Th1346: :: NUMBER11:1346

Sum (digits (4600,10)) = 10