theorem Th1251: :: NUMBER11:1251

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