Lemma 4.7 i slightly weaker statement than is needed in the paper. The full strength of the needed lemma is proved in Lemma 4.5 of
G&T
The other proof can be found in Lemma 6.3 of arXiv:1605.08244.