引理也是被证明过的结论，但它通常不是最终目标，而是为了证明某个定理而先准备好的工具。 打个比方： ● 你要证明一个大定理，就像要盖一栋楼； ● 引理就是先造好的梁、柱、楼梯； ● 它们本身也有用，但主要价值是让“盖楼”这件事更容易完成。 有些引理后来也会变得很重要，比如“欧几里得引理”“佐恩引理”，虽然名字叫引理，但应用很广。
