Let $M \in \mathcal{A}_{2n}(\mathbb{R}) \cap \mathrm{Sp}_{2n}(\mathbb{R})$, and let $m$ be the linear map canonically associated with $M$. Let $X$ denote an eigenvector of $M^{2}$ of norm 1 associated with a certain eigenvalue $\lambda$, and let $F = \operatorname{Vect}(X, MX, J_{n} X, J_{n} MX)$. Show that $F^{\perp}$ is stable under $M$ and under $J_{n}$.