theorem Th1087: :: NUMBER11:1087

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