Lemma2 - snippets

O.M.Theorem