theorem Th1097: :: NUMBER11:1097

digits (625,10) = <%5,2,6%>