Add a lemma suggested by Matthew Emerton

See http://stacks.math.columbia.edu/tag/04YY#comment-785