Use the results of subsection III.D to prove the inclusion $\mathrm { Sp } _ { n } ( \mathbb { R } ) \subset \mathrm { SL } _ { n } ( \mathbb { R } )$.
Use the results of subsection III.D to prove the inclusion $\mathrm { Sp } _ { n } ( \mathbb { R } ) \subset \mathrm { SL } _ { n } ( \mathbb { R } )$.