The \(D_j\) –version of this inequality is Lemma 3.12 of [1]}. The proof only uses the \(L_\infty \)  bounds of \(D_j\)  and derivatives of \(D_j\) . As \(\tilde{D}_j\)  satisfy those same bounds, the proof also works for \(\tilde{D}_j\) .
