arrow_back The result will now follow from Lemma 7.19