added Theorem 1 (still need proof of Lemma 3)