theorem Th101: :: NUMBER11:101
digits (13,10) = <%3,1%>