theorem Th622: :: NUMBER11:622
digits (2940,10) = <%0,4,9,2%>