theorem Th1247: :: NUMBER11:1247

digits (3175,10) = <%5,7,1,3%>