意到：引理给出的正合序列可在此图中画成倒"S"状的蛇形。
构造连接同态.核间的同态与上核间的同态很容易构造，它们由该图的交换性自然导出，正合性也可以直接代定义验证。重点在于连接同态formula_8及序列在该处的正合性。对于模范畴的情形，同态formula_8可如是构造：选定formula_10，并视之为formula_11的元素；由于formula_6是满射，存在formula_13满足formula_14。由图的交换性，我们有于是formula_17。由于底部的横列正