theorem Th706: :: NUMBER11:706

digits (3780,10) = <%0,8,7,3%>