Moving lemma

Summary