theorem Th1079: :: NUMBER11:1079
digits (175,10) = <%5,7,1%>