Added the proof of the Mahajan-Vinay lemma

Need to add the picture though
Added a small figure for the clow-sequence transformation