theorem Th1173: :: NUMBER11:1173
digits (1950,10) = <%0,5,9,1%>