Exercise 3.7.2 Suppose G is a finite group, H, KG are normal subgroups, ged(|H|, |K|) = 1, and |G| = |H||K|.

Prove that G H x K.