theorem Th704: :: NUMBER11:704

digits (3760,10) = <%0,6,7,3%>