Because these three items have a length strictly less than l, by the inductive hypothesis, they are derivable.
the item [i, k, i] is also derivable, as it can be obtained from these derivable items by the following inferences: This proves that all coherent items of length l which are of the form [i, k, i] are derivable under the induction hypothesis.