[see also: decrease, diminish, lower
We first prove a reduced form of the theorem.
By induction, we are reduced to proving the following lemma.
The problem now reduces to establishing that......
Kim announces that (by a tedious proof) the upper bound can be reduced to 10.
The length of F is thus reduced by half.