Ya queN es normal enG,gN=Ng para todosg∈G. Por lo tanto, para un dadog∈G yn∈N, existe unn′ enN tal quegn=n′g. Por lo t...Ya queN es normal enG,gN=Ng para todosg∈G. Por lo tanto, para un dadog∈G yn∈N, existe unn′ enN tal quegn=n′g. Por lo tanto,gng−1=n′∈N ogNg−1⊂N.