1
This is a generalisation of Lemma 5.3 in
[
59
]
.