I rewrote the proof completely using your feedback. We can still find the previous proof in the history of the page if needed. And as such, I'm flagging as RS again.
Well done, much clearer now. QGS.
