theorem Th616: :: NUMBER11:616
digits (2880,10) = <%0,8,8,2%>