Modifications to the proof of theorem 2