text update and proof of lemma2 (half written-up)