edited up to theorem 1, which I changed to lemma 1.