Subset Product of Subgroups/Necessary Condition/Proof 2

Proof
Suppose $H \circ K$ is a subgroup of $G$.

Then: