theorem Th1066: :: NUMBER11:1066

digits (768,10) = <%8,6,7%>