added draft of the proof of theorem 1