Added a lemma

Thanks to UT. See
http://stacks.math.columbia.edu/tag/05DX#comment-305
http://stacks.math.columbia.edu/tag/05DW#comment-306
http://stacks.math.columbia.edu/tag/05DW#comment-307
Remove "above" when useless