theorem Th624: :: NUMBER11:624
digits (2960,10) = <%0,6,9,2%>