Zariski's theorem

Every smooth proper irreducible surface over k is projective.