1: \begin{proof}

2: 		We only provide an informal argument. For a more detailed and rigorous proof, refer to \citet[Proposition 3.1]{BSS2017}. From \eqref{bndecomp}, for any $g\in B^2(\lambda)$ we have

3: 		\begin{align*}

4: 		\langle f_t, g\rangle_{B^2(\lambda)}  = \langle f_0 \ominus \nu_0 , g\rangle_{B^2(\lambda)} + \langle N(1) \xi_t , g\rangle_{B^2(\lambda)} + \langle \nu_t, g\rangle_{B^2(\lambda)}.

5: 		\end{align*}   

6: 		By employing the initial condition $f_0 = \nu_0$, we can make the first term vanish. Moreover, the inner product process $(\langle \nu_t, g \rangle_{B^2(\lambda)}, t \geq 0)$ is stationary because $(\nu_t,t\geq0)$ is stationary. The variance of $\langle  N(1) \xi_t, g \rangle_{B^2(\lambda)}$ increases in $t$. Thus, $\langle  N(1) \xi_t, g \rangle_{B^2(\lambda)}$ must vanish in order for $\langle f_t, g\rangle_{B^2(\lambda)}$ to be stationary. Given that $\varepsilon$ has a positive definite covariance operator, for $\langle  N(1) \xi_t, g \rangle_{B^2(\lambda)}$ to vanish we require $g \in \ker  N(1)^*$. From the closed form solution for $ N(1)$ given in \eqref{eqresidue} combined with \eqref{ranknullity} , it can be easily deduced that $\ker  N(1)^* = [\ker A(1)]^\perp$. 

7: 	\end{proof}