So, I'm having some problems with understanding one part of the proof of the theorem which states :
Let $G$ be a nontrivial finite group. If $K$ is a minimal normal subgroup of $G$, and $L$ is any normal subgroup of $G$, then either $K \leq L$ or $\langle K,L\rangle $=$K \times L$.
Proof: Since $K \cap L \vartriangleleft G$ the minimality of $K$ shows that either $K \leq L$ or $K \cap L = 1$. In the latter case $\langle K,L \rangle = KL = K \times L$ because both $K$ and $L$ are normal.
I don't understand the last equality which states that $ KL = K \times L$. If somebody could give me a hint or something...