theorem Th1195: :: NUMBER11:1195

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