moved sufficient part of proof of Theorem 1 to a lemma