$A$ ve $B$ iki grup olsun.
$N$ = {(a,1) : a ∈ A } kümesinin $A$ x $B$ nin normal alt grubu olduğunu ve
$(A$ x $B)/N$ bölüm grubunun da $B$ ye izomorf olduğunu gösteriniz.