Đại số, X, p. 174
Cho u:C→C′ là một cấu xạ của các A-phức, P là một A-môđun xạ ảnh, n là một số nguyên ⩾0,
h:P→Hn(Con(u))
là một đồng cấu A. Bây giờ chứng minh rằng tồn tại một phức C~, một dãy khớp của các phức
0→CiC~→P(−n)→0
và một cấu xạ u~:C~→C′ sao cho u~∘i=u và sao cho cấu xạ C(i):Con(u)→Con(u~) cảm sinh bởi i thỏa mãn các tính chất sau:
α) Ánh xạ Hp(C(i)):Hp(Con(u))→Hp(Con(u~)) là song ánh với p=n,n+1; β) Tồn tại một dãy khớp
0→Hn+1(Con(u))Hn+1(C(i))Hn+1(Con(u~))→PhHn(Con(u))Hn(C(i))Hn(Con(u~))→0.