A int B means the intersection between A and B.
Let N be a normal subgroup of G and P a Sylow p-subgroup of G. In the chain of subgroups 1 <= P int N <= N <= PN <= G we get
|P int N||PN/N| = |P| (1)
since PN/N isomorphic to P/(P int N). And here I want to prove that |N:P int N| and |G:PN| are not divisible by p.
Suppose p | |N|/|P int N|. Then |N| = tP|P int N| and |N||PN/N| = tp|P int N||PN/N|. By (1) then, |N||PN/N| = tp|P|, which gives |PN| = tp|P|. Hence |P||N|/|P int N| = tp|P| and K:= |N|/|P int N| = tp where (t,p) = 1. That is, p^1 | K but p^2 does not divide K. And I need p^0 | K but p^1 does not divede K. Quite a pity.