1. Assume on the contrary that (x, y) enters the sequence more than once; that is, there are k < l < n such that (f k (s k ), f k (s k+1 )) = (x, y) = (f l (s l ), f l (s l+1 )). Without loss of generality;Claim: (x, y) appears in every shortest sequence only once
2. The construction of utility functions from expenditure data;Sidney N Afriat;International Economic Review,1967
3. The nonparametric approach to applied welfare analysis;J Donald;Economic Theory,2007