theorem Th971: :: NUMBER11:971

digits (713,10) = <%3,1,7%>