theorem Th460: :: NUMBER11:460
digits (1320,10) = <%0,2,3,1%>