I am learning Sylow's theorems in my algebra course and I was reading questions posted before. One is the following: If $H$ is a normal subgroup of a finite group $G$ and $|H|=p^k$ for some prime $p$. show that $H$ is contained in every sylow $p$ subgroup of $G$
I follow the selected answer and I have the following proof:
$H$ is subgroup of a power of $p$, so it is contained in a maximal $p$-subgroup. Indeed, the maximal $p$-subgroup, call it $A$, is a $p$-Sylow subgroup. If $B$ is another $p$-Sylow subgroup, then by Sylow's 2nd theorem, they are conjugate of each other. Since $H$ is normal, the conjugate of $H \subset A$ is $H$, which is contained in $B$. Thus, $H$ is contained in every $p$-Sylow subgroup of $G$.
It seems fine but I don't see why the bolded words stand. It may be trivial to you but I would be thankful if you can show it in some details. Thanks in advance.