\begin{proof}
  The inclusion holds because $\iota_n (\cR^+) \subseteq \dB_\dR^+$ for all $n$ , and equality holds because more exactly
  \[
    \cap_n \iota_n^{-1} \dB_\dR^+ =
  \]
  and therefore, as by assumption the lowest filtration jump of $\rD_\cris(V)$ is $-h$, for all $n$ in $\N$,
  \[
    \cR_{\Q_{1/p^n}}^{+, r_0} \ox_{\varphi^{-n}_\rst{\cE^+}} \rN(V) \subseteq \Fil^0 ( t^{-h} \cdot \cR_{\Q_{1/p^n}}^{+, r_0} \ox_{\Q_p} \rD_\cris(V) ).
  \]
  where the left-hand side tensor product $\ox_{\varphi_{\rst{\cE^+}}}$ is given by the restriction
  \[
    \varphi^{-n} \from \cE^+ \to \cR^+_{\Q_{1/p^n}}
  \]
  of $\varphi^{-n} \from \cR^{+, r_n}_{\Q_{1/p^n}} \to \cR^{+, r_0}_{\Q_{1/p^n}}$ to $\cE^+$.

  Because the left-hand side and right-hand side module have the same rank and the same elementary divisors as submodule of $ t^{-h} \cdot \cR_{\Q_{1/p^n}}^{r_0} \ox_{\Q_p} \rD_\cris(V) $, the modules are equal for all $n$ in $\N$.

  By \cref{prop:NVoxRpInDcrisVoxRp},
  \[
    \cR^+ \ox_{\cE^+} \rN(V) \subseteq (t/X)^{-h} \cdot \cR^+ \ox_{\Q_p} \rD_\cris(V)
  \]
\end{proof}
