new proof of Proposition 4.1 and small changes
imaginary merge conflict?
removed blocks of commented-out old text and small changes