\[ \DeclareMathOperator{\O}{O} \]

The action of \(\O(n)\) on \(\mathbb{S}^{n-1}\) is transitive .