theorem Th914: :: NUMBER11:914

digits (2354,10) = <%4,5,3,2%>