theorem Th590: :: NUMBER11:590
digits (2620,10) = <%0,2,6,2%>