theorem Th564: :: NUMBER11:564
digits (2360,10) = <%0,6,3,2%>