theorem Th399: :: NUMBER11:399

Sum (digits (680,10)) = 14