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 $.

Please help.