theorem Th1235: :: NUMBER11:1235
digits (2975,10) = <%5,7,9,2%>