theorem Th493: :: NUMBER11:493

Sum (digits (1640,10)) = 11