The first statement in Theorem REF  follows directly from Theorem REF  if its assumptions are satisfied by optimal partitioning under the given setting. To show this, we will use Theorem REF  and Lemma REF . The latter is a shorter version of Theorem 2 in [1]}. It shows that Assumption REF  is indeed satisfied in the given set-up.
