Let $A \colon= K[[X_1,\ldots,X_m,Y_1,\ldots,Y_n]]$ be a power series ring over a field $K$ in $m + n$ variables and ${\frak m}$ be the unique maximal ideal of $A$.

For arbitrary two elements $\alpha = X_1^{e_1} \cdots X_m^{e_m}$, $\beta = Y_1^{f_1} \cdots Y_n^{f_n}$ with $e_i, f_j \geq 1$, we shall add $a \in {\frak m}$ to $\alpha$ and $b \in {\frak m}$ to $\beta$ such that $a$ (resp. $b$) comprises scalar times monomials different from $\alpha$ (resp. $\beta$). Consequently, $a + \alpha \in {\frak m}$ (resp. $b + \beta \in {\frak m}$) contains $\alpha$ (resp. $\beta$) as its non-trivial constituent.

Q. Does the following sufficiently large constant $C \gg 0$ which is independent of $m, n$ exist? :

The product $(a + \alpha)(b + \beta)$ always involves a nonzero monomial $X_1^{v_1} \cdots X_m^{v_m}Y_1^{w_1} \cdots Y_n^{w_n}$ (up to scalar coefficient) such that inequalities $v_i \leq Ce_i$, $w_j \leq Cf_j$ for $1 \leq i \leq m$ and $1 \leq j \leq n$ hold simultaneously.