Group does not Necessarily have Subgroup of Order of Divisor of its Order

Theorem
Let $G$ be a finite group whose order is $n$.

Let $d$ be a divisor of $n$.

Then it is not necessarily the case that $G$ has a subgroup of order $d$.

Also see

 * Lagrange's Theorem (Group Theory)