九引理

一個 圖表引理，也稱為 引理。根據其最一般的陳述，上述具有精確行和列的 交換圖 可以透過兩個態射來完成

而不會失去交換性。

此外，短正合序列

是正合的。

如果第一行和第三行的角色互換，該引理也成立。