A continuación, demostramos queH∩N es normal enH. Leth∈H yn∈H∩N. Entoncesh−1nh∈H ya que cada elemento está enH. También,\(h^{-1}...A continuación, demostramos queH∩N es normal enH. Leth∈H yn∈H∩N. Entoncesh−1nh∈H ya que cada elemento está enH. También,h−1nh∈N ya queN es normal enG; por lo tanto,h−1nh∈H∩N.