Subset Product of Subgroups

Theorem
Let $\struct {G, \circ}$ be a group.

Let $H, K$ be subgroups of $G$.

Then $H \circ K$ is a subgroup of $G$ $H$ and $K$ are permutable.

That is:

$H \circ K$ is a subgroup of $G$ :
 * $H \circ K = K \circ H$

where $H \circ K$ denotes subset product.