Gorenstein–Harada_theorem loading ...