smallest colored container lemma done