\[\boxed{\mathbf{4.}}\]
\[2m;\ \ m \in N;\]
\[x \in M;\ \]
\[f(x) \geq 0;\]
\[g(x) \geq 0.\]
\(Докажем\ обратное.\)
\[Что\ и\ требовалось\ доказать.\]