theorem Th1323: :: NUMBER11:1323

digits (4325,10) = <%5,2,3,4%>