theorem Th1001: :: NUMBER11:1001

digits (1127,10) = <%7,2,1,1%>