theorem Th1279: :: NUMBER11:1279

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