Castelnuovo's contraction theorem

Castelnuovo's contraction theorem is a result in algebraic geometry, specifically dealing with the properties of smooth projective varieties. The theorem is part of the study of the behavior of certain types of morphisms between algebraic varieties, particularly in the context of contraction maps in the context of the minimal model program (MMP).