yapı dönüşümü: homomorphism
G→ff(G)→f|f(G)f(f(G)) ve |cokerf|f(G)|≤|cokerf|. O halde |f(G)|2≤|G|×|f(f(G))|.