theorem Th1371: :: NUMBER11:1371

digits (4925,10) = <%5,2,9,4%>