theorem Th1143: :: NUMBER11:1143

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