Skip to content

move lemma

move lemma #378