Dies folgt direkt unter Verwendung der injektiven Auflösung von I {\displaystyle {}I} mit I 0 = I {\displaystyle {}I_{0}=I} und I n = 0 {\displaystyle {}I_{n}=0} für n ≥ 1 {\displaystyle {}n\geq 1} .