theorem Th57: :: NUMBER11:57
digits (22,10) = <%2,2%>