theorem Th490: :: NUMBER11:490
digits (1620,10) = <%0,2,6,1%>