Đại số, X, p. 173
Cho u:C′→C là một cấu xạ của các phức A. Ta ký hiệu bởi v:C→Coker(u) ánh xạ chuyển qua đến thương. Ta xét các đồng cấu A phân bậc
α:(Keru) (−1)→Con(u)vaˋφ:Con(u)→Coker(u)
được xác định bởi α(x′)=(x′,0), φ(x′,x)=v(x) với x′∈C′, x∈C. Bây giờ chứng minh rằng α,φ là các cấu xạ của các phức và rằng chúng sinh ra một dãy khớp
⋯→Hn−1(Keru)H(α)Hn(Con(u))H(φ)Hn(Cokeru)δHn−2(Keru)→⋯
trong đó δ là hợp thành của các đồng cấu nối liên quan đến hai dãy khớp
0→Keru→C′→Imu→0vaˋ0→Imu→C→Cokeru→0.