Internal structure of addition chains: Well-ordering

An addition chain for n is defined to be a sequence (a0,a1,…,ar) such that a0=1, ar=n, and, for any 1≤k≤r, there exist 0≤i,j