Added something in the proof of Thm 3.4.3