theorem Th1005: :: NUMBER11:1005

digits (1173,10) = <%3,7,1,1%>