theorem Th716: :: NUMBER11:716

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