theorem Th1013: :: NUMBER11:1013

digits (1265,10) = <%5,6,2,1%>