theorem Th415: :: NUMBER11:415

Sum (digits (860,10)) = 14