theorem Th896: :: NUMBER11:896
digits (2134,10) = <%4,3,1,2%>