theorem Th715: :: NUMBER11:715

Sum (digits (3860,10)) = 17