Let G be a group. Let H and K be two subgroups of G.
Show that HK is a subgroup of G if and only if HK = KH.
Deduce that H ∩ Z(G) is a subgroup of G.