Image (nat_hom N) = G ./. N by GROUP_6:48;
hence G ./. N is nilpotent ; :: thesis: verum