theorem Th1121: :: NUMBER11:1121

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