Theorem 2 For a sequence s of length n and 2 ≤ j ≤ n, 1 ≤ i <j,