$H, K$ normal subgroups of a finite group $G$ with $G=HK$, $P$ is a Sylow $p$-subgroup of $G$, then $P = (P\cap H)(P\cap K)$
Sylow $p$-subgroup of a direct product is product of Sylow $p$-subgroups of factors