If $H$ is a subgroup of $G$ having finite index, then $H$ contains a normal subgroup of $G$ of finite index
For $G$ group and $H$ subgroup of finite index, prove that $N \subset H$ normal subgroup of $G$ of finite index exists