I'm stuck at this question for more than 24 hours. This question is from "THE THEORY OF GROUPS: An Introduction" by Joseph J. ROTMAN, Exercise 4.11.

Here is the question:

If is a group with normal subgroups , then (internal) if and only if and, for all , .