The Kodaira vanishing theorem