This theorem expresses the expectation of a nonnegative [random variable](/page/Random%20Variable) as the integral of its generalized [quantile function](/page/Quantile%20Function) over probability levels. It is the quantile form of the layer-cake representation.