Global regular functions on an irreducible projective variety ($H^0(X,{\mathcal{O}}_X)=k$)

Over an algebraically closed field, every regular function on a nonempty irreducible projective variety is constant. Regard the function as a morphism to ${\mathbb{P}}^1$ avoiding infinity. Its graph is closed; the closedness of projection from projective space makes its image closed in ${\mathbb{P}}^1$. A proper closed subset there is finite, and an irreducible finite image is a singleton. Irreducibility is the usual variety convention; on a disconnected projective algebraic set different components may have different constants.