theorem Th846: :: NUMBER11:846

digits (1518,10) = <%8,1,5,1%>