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