Stop loss variance minimization principle ($\mathrm{Var}(g(S))\ge \mathrm{Var}(\min (S,M))$)

Among retained payouts $g(S)$ with $0\le g(x)\le x$ and the same expected value as $\min (S,M)$, aggregate stop loss reinsurance minimizes the variance. Pointwise $(g(x)-M{)}^2\ge (\min (x,M)-M{)}^2$, and subtracting the identical squared distance of their common expected value from $M$ proves the claim. Equality requires equal payouts almost surely.