This theorem states that composing an integrable or nonnegative measurable function with a [measure-preserving transformation](/page/Measure-Preserving%20Transformation) does not change its integral. It is the basic integral form of invariance used throughout ergodic theory and measure dynamics.