Если на отрезке [a; b] m ≤ f (x) ≤ M, а g (x) не меняет знака, то существует точка такая, что f (c) = μ, и: