I believe plasmid's line of analysis will lead to a solution.
To achieve a degree of closure this year, here is the 2nd of the two proofs referenced in post 7.
It is much simpler than it first appears. Working an example is the best way to understand it.