theorem Th1183: :: NUMBER11:1183

digits (2125,10) = <%5,2,1,2%>