theorem Th615: :: NUMBER11:615

Sum (digits (2860,10)) = 16