We denote by $O(E,q)$ the set of isometries of $(E,q)$ into itself.
Suppose that $E$ is an artinian space of dimension $2p$ and that $F$ is a subspace of $E$ of dimension $p$ such that $q_{/F} = 0$.
If $f \in O(E,q)$ with $f(F) = F$, show that $f \in O^+(E,q)$.