Two silly lemmas about vanishing etale cohomology
Pro-etale cohomlogy of \Spec(k)