FInished the proof of the new proposition in Section 9.

I'll probably edit it a bit, though, over the next few hours.