Serre's vanishing theorem