Category:Coset Product is Well-Defined