Strengthen some of the lemmas comparing etale and proetale