theorem Th894: :: NUMBER11:894

digits (2112,10) = <%2,1,1,2%>