Pullback is Subgroup


 * Pullback of Quotient Group Isomorphism is Subgroup