theorem Th92: :: NUMBER11:92

digits (12,10) = <%2,1%>