theorem Th1161: :: NUMBER11:1161
digits (1750,10) = <%0,5,7,1%>