This theorem gives a differential criterion for preserving Lebesgue volume: a diffeomorphism with Jacobian determinant of absolute value one preserves restricted [Lebesgue measure](/page/Lebesgue%20Measure). It links the infinitesimal volume distortion measured by the Jacobian to global measure preservation.