theorem Th592: :: NUMBER11:592
digits (2640,10) = <%0,4,6,2%>