Here is a proof of the above fact.
First, it is clear that is contained in the special linear group , since for any . Next, we claim that contains all matrices
This follows from noting that
By taking transposes, it also follows that contains all matrices
Further, contains all matrices
for any .
Then . Using the above results,
if , and
if , and the latter since
for any . Thus , i.e., .