new proof of Proposition 4.1 and small changes
imaginary merge conflict?
removed blocks of commented-out old text and small changes
added proof of Corollary 1.3
small changes
merging .aux,.log, and .pdf