theorem Th576: :: NUMBER11:576

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