Quotient Ring Product is Well-Defined