theorem Th1137: :: NUMBER11:1137

digits (1325,10) = <%5,2,3,1%>