theorem Th848: :: NUMBER11:848
digits (1562,10) = <%2,6,5,1%>