theorem Th117: :: NUMBER11:117

digits (117,10) = <%7,1,1%>