Complement to normal subgroup is isomorphic to quotient