http://www.maths.qmul.ac.uk/~ob/MTH6121/moddocs/chap1_4.pdf
I'm currently reading over some notes, linked above, and I've come across a difficulty with proposition 1.27(page 12).
Underneath, it says the proof follows from 1.24. I can very easily prove 1.24, but for the life of me cannot get through this one. I just can't fully understand or appreciate where the $X_j$ counter comes from.
I hope that made sense,
Thanks.