Improve statements lemmas

Thanks to Matthieu Romagny
http://stacks.math.columbia.edu/tag/00G6#comment-1070
http://stacks.math.columbia.edu/tag/00G9#comment-1071