theorem Th1331: :: NUMBER11:1331

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