Gorenstein–Harada theorem