we know that in a group G, if H,K be subgroups such that H is normal, then the product HK is also a subgroup.
does the converse hold? i.e. if H is a subgroup of a group G such that for any subgroup K of G, the product HK is a subgroup, can we conclude that H must be a normal subgroup?