在交换代数中，中山引理是相当有用的一个技术工具。
陈述.它的众多等价陈述之一如下：