theorem Th786: :: NUMBER11:786

digits (770,10) = <%0,7,7%>