theorem Th977: :: NUMBER11:977
digits (782,10) = <%2,8,7%>