theorem Th1233: :: NUMBER11:1233
digits (2950,10) = <%0,5,9,2%>