Cho E là một dãy phổ của các A-môđun, hội tụ tới một A-môđun phân bậc G (Bài tập 14). a) Giả sử rằng E2p,q=0 với p<0. Bây giờ chứng minh rằng các ánh xạ αr cảm sinh, với mọi q, các đồng cấu A đơn ánh:
E∞0,q→⋯→E30,q→E20,q
do đó, bằng hợp thành với (β0q)−1 và với ánh xạ chuyển qua thương, một đồng cấu A γq:Gq→E20,q. b) Giả sử rằng E2pq=0 với q<0. Bây giờ chứng minh rằng các ánh xạ αr−1 cảm sinh các đồng cấu toàn ánh:
E2p,0→E3p,0→⋯→E∞p,0
do đó bằng hợp thành với βp,0 một đồng cấu A δp:E2p,0→Gp. c) Giả sử rằng các giả thiết của a) và b) được thỏa mãn, nghĩa là E2pq=0 nếu p<0 hoặc q<0. Bây giờ chứng minh rằng dãy
0→E21,0δ1G1γ1E10,1d2E22,0δ2G2
là khớp. d) Giả sử rằng E2pq=0 nếu p>0 hoặc q>0; định nghĩa một dãy khớp tương tự như dãy của c). e) Giả sử rằng tồn tại các số nguyên r,d, với d⩾r⩾2, sao cho Erpq=0 nếu p=0,d. Định nghĩa một dãy khớp:
⋯→Erd,n−d→Gn→Er0,n→Erd,n+1−d→Gn+1→⋯.
Nếu tương tự Erpq=0 với q=0,d, bây giờ chứng minh rằng tồn tại một dãy khớp:
⋯→Ern,0→Gn→Ern−d,d→Ern+1,0→⋯.
f) Giả sử rằng E2pq=0 nếu q=0 (resp. p=0). Bây giờ chứng minh rằng đồng cấu