Fixing a kkk-homomorphism f :V→Wf \colon V \to Wf:V→W such that f∣Wf \mid Wf∣W is the identity, we can define g:V→Vg : V \to Vg:V→V as
We check easily that ggg is a kGkGkG-homomorphism with g∣W=IdWg \mid W = \operatorname{Id}_Wg∣W=IdW, and so V=W∘ker(g)V = W \circ \ker(g)V=W∘ker(g).