Renaming of the variables in 10.5.8.(viii) to be coherent with the notat...

...ions in the proof