theorem Th1017: :: NUMBER11:1017

digits (1311,10) = <%1,1,3,1%>