Special Orthogonal Group is Group

Theorem
Let $k$ be a field.

The $n$th orthogonal group on $k$ is a group.

Proof
A direct corollary of Special Orthogonal Group is Subgroup of Orthogonal Group.