theorem Th512: :: NUMBER11:512

digits (1840,10) = <%0,4,8,1%>