Lefschetz with highlighted revisions

These drafts of an article by Mark McLean illustrate how a proof can be improved by pulling out a lemma. Although the article is on an analysis topic beyond the understanding of Real Analysis students, Mohammed Abouzaid has drawn attention to the structure of the article by highlighting relevant guiding text, so the improvement caused by pulling out a lemma is clear.