Let $M \in \mathrm { Sp } _ { n } ( \mathbb { R } )$ and let $S \in \mathcal { S } _ { n } ( \mathbb { R } )$ be a symmetric matrix with strictly positive eigenvalues such that $S ^ { 2 } = M ^ { \top } M$ and $S \in \mathrm{Sp}_n(\mathbb{R})$. Justify that $S$ is invertible then show that the matrix $O$ defined by $O = M S ^ { - 1 }$ belongs to the group $\mathrm { OSp } _ { n } ( \mathbb { R } )$.