一个 图表引理，也称为 
引理。根据其最一般的陈述，上述具有精确行和列的 交换图 可以通过两个态射来完成
 |
而不会失去交换性。
此外，短正合序列
 |
是正合的。
如果第一行和第三行的角色互换，该引理也成立。
九引理
另请参阅
交换图, 正合序列此条目由 Margherita Barile 贡献
使用 Wolfram|Alpha 探索
参考文献
Mitchell, B. Theory of Categories. New York: Academic Press, 页 20-21, 1965年。Mac Lane, S. Homology. Berlin: Springer-Verlag, 页 49-50, 1967年。在 Wolfram|Alpha 中被引用
九引理请引用为
Barile, Margherita. “九引理。” 来自 MathWorld--Wolfram Web 资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/NineLemma.html