End of the proof of the lemma
Added some bibliographical material
Added proof to the theorem