Prove the following lemma: For all non-zero vectors $x$ and $y$ of $E$, there exists a composition $\gamma$ of at most two symplectic transvections of $E$ such that $\gamma ( x ) = y$.
Prove the following lemma: For all non-zero vectors $x$ and $y$ of $E$, there exists a composition $\gamma$ of at most two symplectic transvections of $E$ such that $\gamma ( x ) = y$.