First version of notes on the Lemma