If \$ gcd (or (H), or (K)) = 1 \$ shows that \$ G / K \$ has a subgroup isomorphic to \$ H \$.

Leave $$G$$ be a finite group,$$K$$ It is a normal subgroup of $$G$$ Y $$H$$ it is a subgroup of $$G$$.Yes $$gcd (or (H), or (K)) = 1$$ show that $$G / K$$ has an isomorphic subgroup for $$H$$.

My attempt:

As $$K$$ It is a normal subgroup of $$G$$ so $$HK$$ it is a subgroup of $$G$$.
Y $$o (HK) = or (H) or (K)$$ as $$H cap K = {e }$$ .

But how should I find an isomorphic subgroup for $$G / K$$.