Revised proof of Thm. 4.4.1.