theorem Th612: :: NUMBER11:612

digits (2840,10) = <%0,4,8,2%>