least one i, one consumer i, ui, u of what he gets at a location i is greater than one he gets at a location in the market but this also implies on itself that this is a critical step, p of star, q c i, what he gets at the new allocation, plus m i c of what he gets at the new allocation. 