Small layout improvements to the proof of Thm 6.4.
Modify a few more "cite" to "citep".
Replace "overline" with "bar".
Placing "~" before references.