"Els arguments estàndard en l'àlgebra injectiva impliquen que aquests grups de cohomologia són independents de l'elecció de la resolució homològica de "" E "" ."
"Els arguments estàndard en l'àlgebra homològica suggereixen que aquests grups de cohomologia són independents de l'elecció de la resolució injectiva de ""E""."