theorem Th586: :: NUMBER11:586

digits (2580,10) = <%0,8,5,2%>