Lemma 1.8 added. Not revised