theorem Th334: :: NUMBER11:334

Sum (digits (646,10)) = 16