Subgroup is Normal iff Left Coset Space is Right Coset Space