Category:Quotient Epimorphism Condition for Normal Subgroup Product to be Internal Group Direct Product