The result will now follow from Lemma 7.19