> [!NOTE] Theorem > The [[Second Orthogonal Group Over The Reals]] $O_{2}(\mathbb{R})$ is a subgroup of [[Second Euclidean Group]] $\text{Eucl}(\mathbb{R}^{2}).$ Proof: Follows from [[Second Orthogonal Group Over The Reals is Group]].