Talk:Gorenstein–Harada theorem