Если \(f(x)\le A\) и \(g(x)\ge A\) для всех \(x\), то уравнение \(f(x)=g(x)\) равносильно системе \(f(x)=A,\ g(x)=A\).