Group homomorphism/Factorization/Fact/Proof

Proof

This follows from fact, applied to the image group ${}U=\operatorname {Im} \varphi \subseteq H$.

To fact