 Solution

The map of coset setsis well defined and surjective, because the group homomorphism $\theta$ is surjective. ThereforeNo normality assumption on $H$ is required.