If no optimal decomposition decomposes r in at least 2 subranges, then the proof given here can be adapted by reasoning on r ′ instead of r. We now suppose that at least one of them decomposes r in at least 2 sub-ranges.
it decomposes r in We select one of these optimal decomposition by taking one such that k 1 is maximal.