theorem Th710: :: NUMBER11:710

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