This theorem characterizes ergodicity by saying that every measurable function invariant under the transformation is almost everywhere constant. It connects invariant sets with invariant observables, which is one of the standard bridges in ergodic theory.