Every smooth proper irreducible surface over k is projective.