theorem Th1201: :: NUMBER11:1201

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