Minor edits.
Reformatted some minor details in the proof.