>>684
以外と簡単だったので，種々の定義を正しく覚えているかどうか、やや不安ですが...
p\in N_1, q\in N_2 とします。
p^{-1}q^{-1}pq=[p^{-1}q^{-1}p]q=p^{-1}[q^{-1}pq]
定義から、中辺の[]内は N_2 の元 よって、N_2 は群をなすから、中辺は \in N_2
右辺は、同様に \in N_1
よって、左辺は e。終わり。なんか間違ってそう...