This theorem says that a complex [projective variety](/page/Projective%20Variety) is compact when viewed with its analytic topology. The result follows because [complex projective space is compact](/theorems/9474) and projective varieties are closed subsets of it.