Set of Rotations in Space about Fixed Point forms Infinite Group

Theorem
Let $\mathcal S$ be a rigid body in space.

Let $O$ be a fixed point in space.

The set of all rotations of $\mathcal S$ through some line through $O$ forms an infinite group.