If we take the definition of a normal subgroup to be:

H is normal if for all h in H, g in G.

So it is clear that

However, I want to show that actually , by showing that

I'm just struggling to find a way to prove the final part? Could anyone offer any help?

Thanks,