Lemma1 - snippets

O.M.Theorem