theorem Th1175: :: NUMBER11:1175
digits (1975,10) = <%5,7,9,1%>