Group homomorphism/Factorization/Fact/Proof

< Group homomorphism < Factorization < Fact
Proof

This follows from fact, applied to the image group .