theorem Th1307: :: NUMBER11:1307

digits (4125,10) = <%5,2,1,4%>