theorem Th1025: :: NUMBER11:1025

digits (1426,10) = <%6,2,4,1%>