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?