theorem Th888: :: NUMBER11:888

digits (2046,10) = <%6,4,0,2%>