Skip to content

redundant lemma

redundant lemma #1428