theorem Th1315: :: NUMBER11:1315

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