Đại số, X, p. 187
Cho P là một phức các A-môđun xạ ảnh, không trên phía phải, và cho n là một số nguyên sao cho Hi(P)=0 với i<n. Cho M là một A-môđun trái, N là một A-môđun phải. bây giờ chứng minh rằng ta có Hi(HomgrA(P,M))=0 và Hi(N⊗AP)=0 với i<n, và rằng các đồng cấu chính tắc
λn:Hn(HomgrA(P,M))→HomA(Hn(P),M),γn:N⊗AHn(P)→Hn(N⊗AP) là song ánh.