(Chow's Theorem says that any closed analytic subvariety of projective space is defined by algebraic equations, and the GAGA principle says that sheaf cohomology of an algebraic variety is the same as the sheaf cohomology of the analytic variety defined by the same equations).
(Теорема Чжоу утверждает, что любое замкнутое аналитическое подмногообразие проективного пространства определяется алгебраическими уравнениями, а принцип GAGA утверждает, что когомологии пучков алгебраического многообразия те же самые, что и когомологии пучков аналитического многообразия, определённого некоторыми уравнениями).