ðə fˈɔːɹməl stˈeɪtmənt ɪz ðæt ɪf vˈiː ænd dˈʌbəljˌuː ɑːɹ ɪɹᵻdˈuːsᵻbəl ˌældʒɪbɹˈeɪɪk səbvɛɹˈaɪəɾɪz əvə pɹədʒˈɛktɪv spˈeɪs pˈiː, ˈɔːl ˌoʊvɚɹ ɐn ˌældʒɪbɹˈeɪɪkli klˈoʊzd fˈiːld, ænd ɪf
The formal statement is that if V and W are irreducible algebraic subvarieties of a projective space P, all over an algebraically closed field, and if