theorem Th285: :: NUMBER11:285

digits (76,10) = <%6,7%>