right Sylow statement?

I would like to know if this statement (which i just met and suspiciously never realized before) and its proof are true:

Let $p$, $q$ be distinct primes and $G$ a group of order $n=p^{\alpha}q^{\beta}$. If $H$ is a $p$-Sylow subgroup of $G$ and $K$ a $q$-Sylow subgroup, then $G=HK$.

$\textit{Proof : }$ the order of the set $HK$ is $\frac{|H||K|}{|H\cap K|}=p^{\alpha}q^{\beta}=|G|$.

I'm a bit surprised by that.

-
Doesn't your computation of $|HK|$ require that either $H$ or $K$ be normal? – Robert Maschal Aug 1 '12 at 17:55
@RobertMaschal I don't think so. The formula gives the order of the set $HK$, even if it's not a group. In general the subgroup generated by $H$ and $K$ may have bigger order. – Louis La Brocante Aug 1 '12 at 17:58
@RobertMaschal Wouldn't they necessarily be normal in this group, because there would only be one Sylow $p$-subgroup, and one Sylow $q$-subgroup, so that the $H$ and $K$ complete contain their respective conjugacy classes? I may be off the mark a little here... – Emily Aug 1 '12 at 18:01
@EdGorcenski if $q>p$ then the $q$-sylow can't be normal. However the remark RobertMaschal only requires $1$ of the two Sylow subgroups to be normal. Now as i said in the last comment, I don't think we need that $HK$ is a subgroup for the order formula... Still this seems strange to me. – Louis La Brocante Aug 1 '12 at 18:04
Looking at it again, it seems fairly straightforward. Any $h \in H$ must be $|h| = p^m$, and for $k \in K$, $|k| = q^n$ by Lagrange. So then $H \bigcap K = \left\{ \rm{id.} \right\}$. I just fail to remember the conditions for $|HK| = |H||K|/|H \bigcap K|$. – Emily Aug 1 '12 at 18:10

This is true. The computation of $|HK|$ only requires that $H$ and $K$ are subgroups. Explicitly, note that $$h_1 k_1 = h_2 k_2 \Leftrightarrow h_2^{-1} h_1 = k_2 k_1^{-1}$$
so this element must be an element of $H \cap K$, and conversely if $g \in H \cap K$ then $hk = hg^{-1} g k$. So each possible product in $HK$ occurs exactly $|H \cap K|$ times.