Prove that there are some initial conditions under which protocol OddEven-LineSort uses N − 1 iterations to perform invariant-size sorting of N items distributed on a sorted line, regardless of the number n of entities.