theorem Th872: :: NUMBER11:872

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