Let $P(z)$ be a non-null complex polynomial in $\nu$ variables $z=(z_1,\dots,z_n)$:
\begin{equation}
P(z)=\sum_{|\alpha| \leq N} c_{\alpha} z^{\alpha},
\end{equation}
where as usual for every $\alpha=(\alpha_1,\dots,\alpha_\nu) \in \mathbb{N}^{\nu}$ (here and in the following $\mathbb{N}$ denotes the set of all non-negative integers) we set $|\alpha|=\alpha_1+\dots+\alpha_\nu$, and $z^{\alpha}=z_1^{\alpha_1}\dots z_{\nu}^{\alpha_\nu}$. Consider $P$ as a polynomial function from $\mathbb{R}^\nu$ into $\mathbb{C}$:
\begin{equation}
P(x)=\sum_{|\alpha| \leq N} c_{\alpha} x^{\alpha} \quad (x \in \mathbb{R}^{\nu}).
\end{equation}
For any $m \in \mathbb{N}$, any $A \subseteq \mathbb{R}^\nu$, and any $\phi \in \mathcal{D}(\mathbb{R}^\nu)$ set:
\begin{equation}
||\phi||_{m,A} = \sup_{\substack{x \in A \\ |\alpha| \leq m}} |(D^{\alpha} \phi)(x)|.
\end{equation}
Let $M > L > 0$ and put $Q=[-M,M]^\nu$ and $E=Q \backslash (-L,L)^\nu$. I am trying to prove (or eventually disprove) that for any $m \in \mathbb{N}$, there exist $K > 0$ and $m' \in \mathbb{N}$ such that we have
\begin{equation}
||\phi||_{m,E} \leq K ||P\phi||_{m',E} \quad \forall \phi \in \mathcal{D}_{Q} \tag{I},
\end{equation}
where as usual $\mathcal{D}_{Q}$ is the set of all complex-valued functions  $\phi \in C^{\infty}(\mathbb{R}^\nu)$ with support contained in $Q$. See the notes below for an explanation of the origin and relevance of this question.

Thank you very much in advance for your attention.

NOTE (1). If we take $L=0$, so that $E=K$, then (I) is an immediate corollary of a remarkable result proved by Lars Hörmander in his wonderful work [On the Division of Distributions by Polynomials](http://link.springer.com/article/10.1007/BF02589517). Indeed, inequality (4.3) of this work (taken with $k=0$) implies that for any $n, m \in \mathbb{N}$, there exist $K > 0$ and $n', m' \in \mathbb{N}$ such that
\begin{equation}
\sup_{\substack{x \in \mathbb{R}^\nu \\ |\alpha| \leq m}} (1+|x|)^n |(D^{\alpha} \phi) (x)|  \leq K \sup_{\substack{x \in \mathbb{R}^\nu \\ |\alpha| \leq m'}} (1+|x|)^{n'} |(D^{\alpha} (P\phi)) (x)| \quad \forall \phi \in \mathcal{S}(\mathbb{R}^\nu) \tag{II}.
\end{equation}
We can state (II) in another way. Define the linear subspace $\mathcal{M}_{P}$ of $\mathcal{S}(\mathbb{R}^\nu)$:
\begin{equation}
\mathcal{M}_{P}=\{\psi \in \mathcal{S}(\mathbb{R}^\nu): \psi=P \phi, \phi \in \mathcal{S}(\mathbb{R}^\nu) \},
\end{equation}
and consider the multiplication map $M_{P}:\mathcal{S}(\mathbb{R}^\nu) \rightarrow \mathcal{M}_{P}$ defined by
\begin{equation}
M_{P}(\phi)=P\phi \quad (\phi \in \mathcal{S}(\mathbb{R}^\nu)),
\end{equation}
Then (II) is equivalent to say that $M_{P}$ has a continuous inverse (this statement is Theorem (1) in Hörmander's work).

NOTE (2). Inequality (I) was stated without proof by ifw in his answer to the post [Division of Distributions by Polynomials](http://mathoverflow.net/questions/260821/division-of-distributions-by-polynomials/261641#261641) (see also my own answer for a comment). If true, (I) would allow to give a direct proof of Theorem (4) in Hörmander's paper, which states that every distribution can be divided by a non-null polynomial. In one of his comments, ifw said that (I) could be proved by localizing (II) or by modifying properly Hörmander's original proof. Even though I studied very carefully Hörmander's original proof (which can also be found in Trèves, Linear Partial Differential Equations with Constant Coefficients, $\S$ 5.5), I could not modify it in order to obtain (I) nor I could get (I) by localizing (II).