theorem Th221: :: NUMBER11:221
digits (17,10) = <%7,1%>