theorem Th580: :: NUMBER11:580

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