Go back to the tag's page.
Tags: Added new tags
Simplify proof Thanks to Matthew Emerton http://stacks.math.columbia.edu/tag/0BPU#comment-1916