theorem Th1293: :: NUMBER11:1293

digits (3950,10) = <%0,5,9,3%>