The Kodaira embedding theorem