a=f(x),b=f(y),c=f(z),d=f(t)∈f(G) olsun. Bu durumda [[a,b],[c,d]]=[[f(x),f(y)],[f(z),f(t)]]=f([x,y],[z,t]])=f(eG)=eH olur.
Bu sorudaki onermeyi kullanabiliriz artik.
Aslinda direkt f(G)″ oldugunu da kullanabilirdik. Yukarida bi nevi bunun da ispati var.