Lemma for resize