Let $m \geq 2$ be a natural integer and $E$ an $\mathbb{R}$-vector space of dimension $2m+1$ equipped with a scalar product $(.|.)$. Let $T, M$ be two endomorphisms of $E$ satisfying (H1)–(H4). Let $G$ be the set of elements $u \in E$ satisfying (a) $u \in \operatorname{Im}(T)$ and (b) $\forall v \in E, S(u,v) = 0$.
Deduce that $\operatorname{dim}(G) \leq 2m-2$.