corrected typo in proof of lemma 3.1 and updated references