theorem Th491: :: NUMBER11:491

Sum (digits (1620,10)) = 9