theorem Th582: :: NUMBER11:582

digits (2540,10) = <%0,4,5,2%>