Cut out that really long annoying proposition, which was based on a false premise (the existence of global sections) and replaced it with two news lemmas.

Still working on the section on etale group schemes.