theorem Th910: :: NUMBER11:910

digits (2310,10) = <%0,1,3,2%>