theorem Th1363: :: NUMBER11:1363
digits (4825,10) = <%5,2,8,4%>