The theorem referred to in the title is a technical result that is needed for the classification of elliptic and K3 fibrations birational to Fano 3-fold hypersurfaces in weighted projective space. We present a complete proof of the curve exclusion theorem, which first appeared in the author's PhD thesis and has since been relied upon in solutions to many cases of the fibration classification problem. We give examples of these solutions and discuss them briefly.