theorem Th560: :: NUMBER11:560
digits (2320,10) = <%0,2,3,2%>