Talk:Gorenstein–Walter theorem