Exercise 3.5.6 Suppose K, II <G are subgroups of a group G. Prove that for all g ϵ G, H ꓵ gK is either empty, or is equal to a coset of K ꓵ H in H. Using this, prove that H : K n H ≤G:K].