My problem is a variation of one in Dummit and Foote:
Let $G$ be a group and $H \trianglelefteq G$. Prove: If $G$ is finite and $[G:H] = p$, a prime number, then for any $K \leq G$, either $K \leq H$ or $G = HK$ and $[K : H \cap K] = p$.
Ok, so I suppose $K \not\leq H$. I am trying to show $\vert G \vert = \vert HK \vert$. The second part follows directly from that and using Lagrange's Theorem in a nice way.
I just need a hint on how to show $\vert G \vert = \vert HK \vert$. I've been using Lagrange's theorem and some corollaries so far, but haven't found the right approach. I'm not allowed to use Isomorphism theorems or quotient groups on this problem. Professor hinted it should follow directly from lagrange since we suppose $G$ is finite.
Any SMALL hints would be greatly appreciated!!!
Edit: I'm using that $\vert HK \vert = \frac{\vert H\vert \vert K \vert}{\vert H \cap K \vert}$ a lot too.