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 Orthogonal Group is Subgroup of General Linear Group.