"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""."
"Els arguments estàndard en l'àlgebra injectiva impliquen que aquests grups de cohomòlegs són independents de l'elecció de la resolució homològica de "" E "" ."