theorem Th584: :: NUMBER11:584
digits (2560,10) = <%0,6,5,2%>