theorem Th712: :: NUMBER11:712

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