theorem Th1021: :: NUMBER11:1021

digits (1357,10) = <%7,5,3,1%>