I want to prove the following proposition.
If every Sylow subgroup of a finite group $G$ is normal for every prime $p$, then $G$ is the direct product of its Sylow groups.
IDEA.
I have the idea to use the following theorem.
THEOREM
If every Sylow subgroup of $G$ is a normal subgroup, then $G$ is isomorphic to the product of its Sylow subgroups.