Suppose f:AβB is a morphism of abelian groups. Prove that the projection morphism Ο:BβB/im(f) is a cokernel of f.