theorem Th1263: :: NUMBER11:1263

digits (3450,10) = <%0,5,4,3%>