theorem Th562: :: NUMBER11:562
digits (2340,10) = <%0,4,3,2%>