Kodaira's vanishing theorem