theorem Th510: :: NUMBER11:510
digits (1820,10) = <%0,2,8,1%>