Let $G$ be a group of order $8$. Prove that there is a subgroup of order $4$.
I know that if $G$ is cyclic then there is such a subgroup (if $G=\langle a\rangle$ then the order of $\langle a^2\rangle$ is $4$). But how do I prove this when $G$ is not cyclic? Also, I know that $G$ has an element of order $2$, because the order of $G$ is even. I suspect that assuming all elements of $G$ are of order $2$ somehow leads to a contradiction but am unable to show it. Is this correct or is there a different approach that I'm missing? thanks