theorem Th1253: :: NUMBER11:1253

digits (3275,10) = <%5,7,2,3%>