theorem Th1295: :: NUMBER11:1295

digits (3975,10) = <%5,7,9,3%>