Prove that OddEven-LineSort sorts an equidistributed distribution in n − 1 iterations regardless of whether the required sorting is invariant-sized, equidistributed, or compacted with all entities having the same capacity.