Category:Projection on Group Direct Product is Epimorphism