If (j − i) < x, whenever there are k span-constrained occurrences in positions (j + 1) to , there will be (k + 1) span-constrained occurrences in positions 1 to .
we increment hist f, [k + 1] by the quantity hist f −1, −j [k] (lines 10-12).