Clarify the notations in 10.8.5.(viii)

I renamed some variables to have coherent notations between the theorem and its proof. Also included mikeshulman's remark about the class C in the proof.

(I deleted the other pull request because of some bad manipulation I couldn't fix, sorry about that I'm new to git)