theorem Th1159: :: NUMBER11:1159

digits (1725,10) = <%5,2,7,1%>