theorem Th686: :: NUMBER11:686
digits (3580,10) = <%0,8,5,3%>