theorem Th1285: :: NUMBER11:1285

digits (3825,10) = <%5,2,8,3%>