theorem Th514: :: NUMBER11:514
digits (1860,10) = <%0,6,8,1%>