Let H and K be subgroups of a group G and assume |G : H| = +oo. Show that |K : Kn H| = |G : H| if and only if G = HK. %3D