theorem Th111: :: NUMBER11:111
digits (78,10) = <%8,7%>