R is Gorenstein iff inj.dim of R is finite.