G を群とする。

H1 と H2 は G の正規部分群で、 G/H1 と G/H2 は互いに同型であるとする。

H1 と H2 は常に同型であるか？