theorem Th613: :: NUMBER11:613

Sum (digits (2840,10)) = 14