theorem Th912: :: NUMBER11:912
digits (2332,10) = <%2,3,3,2%>