theorem Th67: :: NUMBER11:67

digits (77,10) = <%7,7%>