Mann-Wald-Theorem