theorem Th570: :: NUMBER11:570

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