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