theorem Th714: :: NUMBER11:714
digits (3860,10) = <%0,6,8,3%>