The proposition shows the converse of a previous proposition, namely that any normal subgroup is the kernel of a morphism.