Gorenstein-Harada teorema