mˈoːɹ dʒˈɛnɚɹəli, ðə θˈiəɹəm stˈeɪts ðæt ɪf ɪz ɐ pɹədʒˈɛktɪv vɚɹˈaɪəɾi ænd ɪz ˌɛni mˈɔːɹfɪzəm sˈʌtʃ ðˈæt , ðˈɛn ɪz kənˈɛktᵻd, wˌɛɹ ɪz ðə daɪˈæɡənəl ˈɪn .
More generally, the theorem states that if  is a projective variety and  is any morphism such that , then  is connected, where  is the diagonal in .